typechecker

Popular repositories Loading

1. plutus plutus Public

   Forked from IntersectMBO/plutus

   The Plutus language implementation and tools

   Haskell 1

2. urweb urweb Public

   Forked from urweb/urweb

   The Ur/Web programming language

   Standard ML 1

3. purescript-halogen purescript-halogen Public

   Forked from purescript-halogen/purescript-halogen

   A declarative, type-safe UI library for PureScript.

   PureScript

4. ghc ghc Public

   Forked from ghc/ghc

   Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haske…

   Haskell

5. reflex-platform reflex-platform Public

   Forked from reflex-frp/reflex-platform

   Nix

6. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix