Max Heiber (mheiber)

mheiber

Geek Repo

Company:@whatsapp

Location:London, UK

Home Page:https://twitter.com/@maxheiber

Github PK Tool:Github PK Tool

Max Heiber's repositories

redux-machine

A tiny library (12 lines) for creating state machines in Redux apps

eqwalizer

A type-checker for Erlang

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:0Issues:0

async-book

Asynchronous Programming in Rust

Language:ShellLicense:MITStargazers:0Issues:1Issues:0
Language:OCamlStargazers:0Issues:1Issues:0

base

Standard library for OCaml

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

book

The Rust Programming Language

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Stargazers:0Issues:1Issues:0

counterexamples

Counterexamples in Type Systems

Language:JavaScriptStargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:1Issues:0

girards-paradox

A "implementation" of Girard's paradox in OCaml

Stargazers:0Issues:0Issues:0

hhvm

A virtual machine for executing programs written in Hack.

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

lark

A demand-driven compiler with strong IDE support

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

merlin

Context sensitive completion for OCaml in Vim and Emacs

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

oreilly-qc.github.io

Code samples for Programming Quantum Computers, from O'Reilly Media

Stargazers:0Issues:0Issues:0

otp

Erlang/OTP

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:1Issues:0

ppx_import

Less redundancy in type declarations and signatures

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0

rust-analyzer

A Rust compiler front-end for IDEs

License:Apache-2.0Stargazers:0Issues:0Issues:0

rustc-dev-guide

A guide to how rustc works and how to contribute to it.

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:1Issues:0

salsa

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

shibbyt

Shibby free Tidybt for lofi MacOS desktop backgrounds

Language:StarlarkStargazers:0Issues:1Issues:0

SLOT

Formally verified model checker

Language:CoqLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:1Issues:0

throwaway-scopes

throwaway-scopes

Language:RustStargazers:0Issues:1Issues:0

vscode-extension-samples

Sample code illustrating the VS Code extension API.

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

vscode-languageserver-node

Language server protocol implementation for VSCode. This allows implementing language services in JS/TS running on node.js

License:MITStargazers:0Issues:0Issues:0