Pinned Repositories
bisect_ppx
Code coverage for OCaml and ReScript
cs510fly
Flight Simulator
dafny
Dafny is a verification-aware programming language
dune
A composable build system for OCaml.
flambda-backend
The Flambda backend project for OCaml
ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Trac (http://ghc.haskell.org/trac/ghc) or sent to the mailing list (ghc-devs@haskell.org)
ghc-mod
Happy Haskell Hacking for editors
ocaml
The core OCaml system: compilers, runtime system, base libraries
ocaml-arrow
sequent-core
Alternative Core language for GHC plugins
lukemaurer's Repositories
lukemaurer/sequent-core
Alternative Core language for GHC plugins
lukemaurer/cs510fly
Flight Simulator
lukemaurer/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Trac (http://ghc.haskell.org/trac/ghc) or sent to the mailing list (ghc-devs@haskell.org)
lukemaurer/bisect_ppx
Code coverage for OCaml and ReScript
lukemaurer/dafny
Dafny is a verification-aware programming language
lukemaurer/dune
A composable build system for OCaml.
lukemaurer/flambda-backend
The Flambda backend project for OCaml
lukemaurer/ghc-mod
Happy Haskell Hacking for editors
lukemaurer/ocaml
The core OCaml system: compilers, runtime system, base libraries
lukemaurer/ocaml-arrow
lukemaurer/ocaml-jst
OCaml plus Jane Street extensions
lukemaurer/odoc
Documentation compiler for OCaml and Reason
lukemaurer/opam-repository
Main public package repository for opam, the source package manager of OCaml.
lukemaurer/ppxlib
Base library and tools for ppx rewriters