mheiber
Computer-Aided Programming, Unguided Human Learning. Views are my own. he/him/his
@whatsappLondon, UK
Pinned Repositories
hhvm
A virtual machine for executing programs written in Hack.
chill-patch
eqwalizer
A type-checker for Erlang
react-tabs-component
React component for tabs with a clean and flexible API.
redux-funk
testable, dead simple redux async action middleware in 24 lines of code
redux-funk-examples
examples using redux-funk for async effects in Redux reducers
redux-machine
A tiny library (12 lines) for creating state machines in Redux apps
restaurants_by_neighborhood
Use the Yelp API and scraping to get restaurant info by neighborhood
TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
mheiber's Repositories
mheiber/etch-check
tiny rewriting type checker
mheiber/tydd-tapl
mheiber/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
mheiber/babel
🐠 Babel is a compiler for writing next generation JavaScript.
mheiber/coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
mheiber/definitely-hyped
mheiber/dhall-haskell
Maintainable configuration files
mheiber/dhall-lang
Maintainable configuration files
mheiber/docs-next
Vue 3 core documentation
mheiber/dotty
The Scala 3 compiler, also known as Dotty.
mheiber/eep
Erlang Enhancement Proposals
mheiber/effective-rust
mheiber/elm-compiler
Compiler for Elm, a functional language for reliable webapps.
mheiber/fast-check
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
mheiber/github-actions-dhall
Typecheck, template and modularize your Github Action definitions with Dhall
mheiber/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
mheiber/gust
Small language with Pierce/Turner type inference
mheiber/lark
A demand-driven compiler with strong IDE support
mheiber/MLPolyR
The MLPolyR programming language, revived
mheiber/proposal-ace
mheiber/proposal-js-module-blocks
mheiber/redbug
erlang tracing debugger
mheiber/redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, HyperLogLogs, Bitmaps.
mheiber/regex-reexamined-coq
mheiber/rust-analyzer
A Rust compiler front-end for IDEs
mheiber/rustc-dev-guide
A guide to how rustc works and how to contribute to it.
mheiber/samurai
ninja-compatible build tool written in C
mheiber/spotify-tui
Spotify for the terminal written in Rust 🚀
mheiber/strict-lambda-calculus
mheiber/system-f