Maxime Kjaer

coyote. Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.

just-another-kusto-hacker. Welcome to the Just another Kusto hacker ("JAKH") contest!

xee. XPath, XSLT

git-who. Git blame for file trees

typescript-go. Staging repo for development of native port of TypeScript

httptap. View HTTP/HTTPS requests made by any Linux program

Dependencies. A rewrite of the old legacy software "depends.exe" in C# for Windows devs to troubleshoot dll load dependencies issues.

typescript-sudoku. Playing Sudoku in TypeScript while the type checker highlights mistakes.

HypeScript. 🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system

l3-llvm-backend. An experimental LLVM backend for L3

formal-verification-project. CS550 Formal Verification Project, EPFL, Winter 2021-2022

spark-scala3. Scala

effekt. A language with lexical effect handlers and lightweight effect polymorphism

collabs. Collabs library monorepo

counterexamples. Counterexamples in Type Systems

scala3. The Scala 3 compiler, also known as Dotty.

tfjs-npy. NumPy file parsing and serialization for TensorFlow.js

pkg-ok. 👌 Checks paths and scripts defined in package.json before you publish

benny. A dead simple benchmarking framework for JS/TS libs

graal. GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

jekyll-mathjax-csp. Server-side MathJax rendering for Jekyll with a strict CSP

scalafmt. Code formatter for Scala

bloop. Bloop is a build server and CLI tool to compile, test and run Scala fast from any editor or build tool.

coursier. Pure Scala Artifact Fetching

trio. Trio – a friendly Python library for async concurrency and I/O

CPP-Crash-Course. C++ Crash Course

sized. Scala

munit. Scala testing library with actionable errors and extensible APIs

minted. minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.

typochecker. A tool to help (semi-)automatically find typos.

cpulimit. CPU usage limiter for Linux

TypeScript-New-Handbook. Incubation repository for the new TypeScript handbook 🐣

dotty-knowledge. A knowledge base of Dotty internals and all things related

baudrillard. Experiments with symbolic functions in the Scala type system

npm-style-guide. Opinionated npm Style Guide​ for teams.

ts-ast-viewer. TypeScript AST viewer

jupyter-black. Black formatter for Jupyter Notebook

scallion. LL(1) parser combinators in Scala

repfl. Find a free room @ EPFL

schema-dts. JSON-LD TypeScript types for Schema.org vocabulary

Croque. Campus random lunch scheduler, meet new friendly people.

strict-event-emitter-types. A type-only library for strongly typing any event emitter

transfer.sh. Easy and fast file sharing from the command-line.

the-bread-code. Learn how to master the art of baking the programmer way.

prevent-smoosh. Don't let TC39 use smoosh or smooshMap

json-populate. Tool for populating JSON data with circular references. Sort of like Falcor and GraphQL, but for plain JSON with a transparent interface.

functional-programming-jargon. Jargon from the functional programming world in simple terms!

lit. Lit is a simple library for building fast, lightweight web components.

engrafo. Convert LaTeX documents into beautiful responsive web pages using LaTeXML.

proposals. Tracking ECMAScript Proposals

javascript. JavaScript Style Guide

typescript-progressive-quickstart. TypeScript Progressive Web App Quickstart

js-stack-from-scratch. 🛠️⚡ Step-by-step tutorial to build a modern JavaScript stack.

trump2cash. A stock trading bot powered by Trump tweets

netflix-categories. Netflix links to all hidden categories

jupyter-themes. Custom Jupyter Notebook Themes

prettier. Prettier is an opinionated code formatter.

accessibility-developer-tools. This is a library of accessibility-related testing and utility code.

chvote-1-0. The Geneva electronic vote system, version 1.

Markdown-Content-Blocks. File transclusion syntax for Markdown.

yarn. The 1.x line is frozen - features and bugfixes now happen on https://github.com/yarnpkg/berry

primitive. Reproducing images with geometric primitives.

sharingbuttons.io. Quickly generate social sharing buttons with a tiny performance footprint

Computer-Networks-Notes. Notes based on the book "Computer Networking, a top down approach"

chrome-backspace-back. Google Chrome extension that restores browser behavior of navigating to previous page when pressing the Backspace key.

PhotoSwipe. JavaScript image gallery for mobile and desktop, modular, framework independent

lua-resty-auto-ssl. On the fly (and free) SSL registration and renewal inside OpenResty/nginx with Let's Encrypt.

starability. Accessible rating forms with cute animations on top.

universal.css. The only CSS you will ever need

Batsh. A language that compiles to Bash and Windows Batch

ww-jekyll-travis-skeleton. A skeleton for Jekyll/TravisCI projects.

sh-server_deploy. Shell

anti-adblock-killer. Anti-Adblock Killer helps you keep your Ad-Blocker active, when you visit a website and it asks you to disable.

base65536. Unicode's answer to Base64

css-houdini-drafts. Bikeshed

Parallelism-and-Concurrency-Notes. My notes for Parallelism and Concurrency class

cloc. cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.

neural-doodle. Turn your two-bit doodles into fine artworks with deep neural networks, generate seamless textures from photos, transfer style from one image to another, perform example-based upscaling, but wait... there's more! (An implementation of Semantic Style Transfer.)

proselint. [Mirror] A linter for prose.

mame. MAME

public_drown_scanner. Python

draft-js. A React framework for building text editors.

peer-tweet. Decentralized feeds using BitTorrent's DHT. Idea from Arvid and The_8472 "DHT RSS feeds" http://libtorrent.org/dht_rss.html

bricks.js. A blazing fast masonry layout generator for fixed width elements.

paperless. Scan, index, and archive all of your paper documents

diff-so-fancy. Make your diffs human readable for improved code quality and faster defect detection. :tada:

FontReaper. Node script to break up icon fonts into css classes with embedded svg backgrounds, while retaining similar syntax.

git-upstage. Take credit for someone else's work; or, a typo gone too far.

git-blame-someone-else. Blame someone else for your bad code.

maybe. :open_file_folder: :rabbit2: :tophat: See what a program does before deciding whether you really want it to happen (NO LONGER MAINTAINED)

CodeceptJS. Supercharged End 2 End Testing Framework for NodeJS

nginx-push-stream-module. A pure stream http push technology for your Nginx setup. Comet made easy and really scalable.

istlsfastyet.com. Is TLS fast yet? Yes, yes it is.

grunt-rev. :punch: Asset revving for Grunt.js

python-data-visualization-course. Course materials for teaching data visualization in Python.

Overpass. Overpass open source web font family — Sponsored by Red Hat

autoinstaller. Python

weissman-score. Weissman score calculator

NetGain. A high performance websocket server library powering Stack Overflow.

fakenames. List of names from movies, tv shows and books to be used for testing during development of an application.

git-deploy. git deployment made easy

TrumpScript. Make Python great again

docker-jekyll. :whale: Jekyll with Extras for Docker

travis-jekyll-git. Deploy Jekyll pages using Git and Travis CI

lostpass. Pixel-perfect LastPass phishing

netflix-proxy. Smart DNS proxy to watch Netflix

dear-github. :incoming_envelope: An open letter to GitHub from the maintainers of open source projects

python-elevator-challenge. So You Think You Can Program An Elevator

JSVerbalExpressions. JavaScript Regular expressions made easy

openhunt. discover new products, give feedback, help each other

PebbleSeizureDetect. A seizure detection and notification system for Pebble watches.

certbot. Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.

koel. Music streaming solution that works.

FuckFuckAdblock. Acts like FuckAdBlock.js but always says that no adblock was detected

SpoofMAC. :briefcase: Change your MAC address for debugging

Hasklig. Hasklig - a code font with monospaced ligatures

open-graph-protocol-examples. Examples of Open Graph protocol markup

http2-spec. Working copy of the HTTP/2 Specification

musicbot. Telegram Music Catalog Bot

jekyllthemes. A directory of the best-looking themes for Jekyll blogs

fabricator. A tool for building website UI toolkits and style guides

color-thief. Grab the color palette from an image using just Javascript. Works in the browser and in Node.

dragula. :ok_hand: Drag and drop so simple it hurts

CommitmentIssues. Follow the anger of programmers around the world! Made in 12 hours as part of MLH's Local Hack Day, 10.10.15

travis-custom-deploy. Deploy static files with Travis to your own server

engine. The Flutter engine

jekyll-decap-cms. A starter template for Jekyll and Decap CMS

decap-cms. A Git-based CMS for Static Site Generators

ipfspics-server. Content-addressable, peer-to-peer method of storing and sharing images on the internet.

html-proofer. Test your rendered HTML files to make sure they're accurate.

marked. A markdown parser and compiler. Built for speed.

fastdom. Eliminates layout thrashing by batching DOM measurement and mutation tasks

Jalangi-Berkeley. Doing research on top of Jalangi

preload. Preload

transit-format. A data interchange format.

node-http2. An HTTP/2 client and server implementation for node.js

slouchy. Slouchy uses your webcam to check if you're slouching and alert you if you are.

volkswagen. :see_no_evil: Volkswagen detects when your tests are being run in a CI server, and makes them pass.

tufte-jekyll. Minimal Jekyll blog styled to resemble the look and layout of Edward Tufte's books

Sortable. Reorderable drag-and-drop lists for modern browsers and touch devices. No jQuery or framework required.

h5o-chrome. HTML5 outliner (Chrome extension)

better-java. Resources for writing modern Java

css-protips. ⚡️ A collection of tips to help take your CSS skills pro 🦾

genome. Genome is an open source and free typeface by Alfredo Marco Pradil

mailchecker. :mailbox: Cross-language temporary (disposable/throwaway) email detection library. Covers 55 734+ fake email providers.

flowchart.js. Draws simple SVG flow chart diagrams from textual representation of the diagram

jekyll-feed. :memo: A Jekyll plugin to generate an Atom (RSS-like) feed of your Jekyll posts

Whois-mono. A simple monospace font

Reglo. Reglo Font

Crimson. The Crimson Text typeface

source-code-pro. Monospaced font family for user interface and coding environments

Hack. A typeface designed for source code

node-static-i18n. HTML static pages i18n tool

InlineAttachment. Easily paste and upload files/images in plain textareas

jekyll-multiple-languages-plugin. I18n support for Jekyll and Octopress

passport. Simple, unobtrusive authentication for Node.js.

Hyphenator. Javascript that implements client-side hyphenation of HTML-Documents

awesome-appsec. A curated list of resources for learning about application security

sass-media_query_combiner. Ruby

thefuck. Magnificent app which corrects your previous console command.

favicon-bug. Demonstrates Chrome/Firefox/Safari download 1GB favicons

grunt-purifycss. Remove unused CSS with the grunt build tool

vira-assets. Vira Theme is the official successor of the popular Material Theme. This premium version is actively maintained, includes hand-curated icons and more features

engineering-blogs. A curated list of engineering blogs

GitTorrent. A decentralization of GitHub using BitTorrent and Bitcoin

pdfmake. Client/server side PDF printing in pure JavaScript

js.org. Dedicated to JavaScript and its awesome community since 2015

StreamusChromeExtension. A YouTube video player as a Google Chrome extension

FiraCode. Free monospaced font with programming ligatures

outline. The clean & simple framework.

sass-burger. A Sass mixin for creating hamburger icons.

pintsize. Customisable 💪 Flexbox grid system

colors. Smarter defaults for colors on the web.

solved-by-flexbox. A showcase of problems once hard or impossible to solve with CSS alone, now made trivially easy with Flexbox.

streamkeys. Global media player hotkeys for chrome

colorette. 🌈Easily set your terminal text color & styles

Github-Auto-Deploy. a server that allows you to automatically deploy the latest version of your github project at each git push

seaborn. Statistical data visualization in Python

data-science-from-scratch. code for Data Science From Scratch book

sprint. A tiny, lightning fast jQuery-like library for modern browsers.

elevator.js. Finally, a "back to top" button that behaves like a real elevator.

theme-itg-flat. A flat theme for Sublime Text that supports both retina and non-retina.

SoCo. SoCo (Sonos Controller) is a simple Python class that allows you to programmatically control Sonos speakers.

yapf. A formatter for Python files

jasper-client. Client code for Jasper voice computing platform

france.code-civil. Le code civil français sous git

json-api. A specification for building JSON APIs

httpdiff. Perform the same request against two HTTP servers and diff the results

textures. Textures.js is a JavaScript library for creating SVG patterns

redditviz. An interactive map of reddit: the "front page of the internet"

is.js. Micro check library

flinux. Foreign LINUX - Run unmodified Linux applications inside Windows.

YellowLabTools. WebPerf and front-end quality testing tool

facebook-tunnel. Tunneling Internet traffic over Facebook chat.

notes. Encrypted note taking web application

unindexed. :mag_right::grey_question: website that irrevocably deletes itself once indexed

htaccess. ✂A collection of useful .htaccess snippets.

frontend-guidelines. Some HTML, CSS and JS best practices.

pemcrack. Cracks SSL PEM files that hold encrypted private keys. Brute forces or dictionary cracks. This code is extraordinarily slow, DON'T JUDGE ME!!!

Gidole. Gidole - Open Source Modern DIN