Popular repositories Loading

1. sequent-core sequent-core Public

   Forked from yav/sequent-core

   Alternative Core language for GHC plugins

   Haskell 39 2

2. cs510fly cs510fly Public

   Forked from tstellar/cs510fly

   Flight Simulator

   C++ 1 1

3. ghc ghc Public

   Forked from ghc/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)

   Haskell 1

4. ghc-mod ghc-mod Public

   Forked from DanielG/ghc-mod

   Happy Haskell Hacking for editors

   Haskell

5. ocaml ocaml Public

   Forked from ocaml/ocaml

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

   OCaml

6. dafny dafny Public

   Forked from dafny-lang/dafny

   Dafny is a verification-aware programming language

   C#