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/redux-machine
A tiny library (12 lines) for creating state machines in Redux apps
mheiber/analogue
mheiber/tree-sitter-error-recovery-example
mheiber/eqwalizer
A type-checker for Erlang
mheiber/async-book
Asynchronous Programming in Rust
mheiber/attapl
mheiber/base
Standard library for OCaml
mheiber/book
The Rust Programming Language
mheiber/cablecarconf
mheiber/counterexamples
Counterexamples in Type Systems
mheiber/dotfiles
mheiber/dune-wrapped-library-example
mheiber/girards-paradox
A "implementation" of Girard's paradox in OCaml
mheiber/hhvm
A virtual machine for executing programs written in Hack.
mheiber/lsbsteak
mheiber/merlin
Context sensitive completion for OCaml in Vim and Emacs
mheiber/ocaml
The core OCaml system: compilers, runtime system, base libraries
mheiber/oreilly-qc.github.io
Code samples for Programming Quantum Computers, from O'Reilly Media
mheiber/org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
mheiber/otp
Erlang/OTP
mheiber/ppx_import
Less redundancy in type declarations and signatures
mheiber/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
mheiber/raylean
Lean4 bindings for raylib
mheiber/salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
mheiber/shibbyt
Shibby free Tidybt for lofi MacOS desktop backgrounds
mheiber/SLOT
Formally verified model checker
mheiber/throwaway-record-subtyping
mheiber/throwaway-scopes
throwaway-scopes
mheiber/vscode-extension-samples
Sample code illustrating the VS Code extension API.
mheiber/vscode-languageserver-node
Language server protocol implementation for VSCode. This allows implementing language services in JS/TS running on node.js