Skip to content
@typechecker

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

Repositories

Showing 10 of 90 repositories
  • agda Public Forked from agda/agda

    Agda is a dependently typed programming language / interactive theorem prover.

    typechecker/agda’s past year of commit activity
    Haskell 0 369 0 0 Updated Aug 16, 2024
  • hlint Public Forked from ndmitchell/hlint

    Haskell source code suggestions

    typechecker/hlint’s past year of commit activity
    Haskell 0 210 0 0 Updated Aug 15, 2024
  • hyphen Public Forked from tbarnetlamb/hyphen

    hyphen - access Haskell modules from Python

    typechecker/hyphen’s past year of commit activity
    Haskell 0 GPL-2.0 9 0 0 Updated Jun 27, 2024
  • base64 Public Forked from emilypi/base64

    RFC 4648-compliant Base64

    typechecker/base64’s past year of commit activity
    Haskell 0 BSD-3-Clause 11 0 0 Updated May 31, 2024
  • stan Public Forked from kowainik/stan

    🕵️ Haskell STatic ANalyser

    typechecker/stan’s past year of commit activity
    Haskell 0 MPL-2.0 51 0 0 Updated May 31, 2024
  • liquid-fixpoint Public Forked from ucsd-progsys/liquid-fixpoint

    Horn Clause Constraint Solving for Liquid Types

    typechecker/liquid-fixpoint’s past year of commit activity
    Haskell 0 BSD-3-Clause 63 0 0 Updated May 30, 2024
  • urweb Public Forked from urweb/urweb

    The Ur/Web programming language

    typechecker/urweb’s past year of commit activity
    Standard ML 1 67 0 0 Updated May 28, 2024
  • liquidhaskell Public Forked from ucsd-progsys/liquidhaskell

    Liquid Types For Haskell

    typechecker/liquidhaskell’s past year of commit activity
    Haskell 0 BSD-3-Clause 144 0 0 Updated May 25, 2024
  • share-api Public Forked from unisoncomputing/share-api

    Unison Share's backend server

    typechecker/share-api’s past year of commit activity
    Haskell 0 MIT 4 0 0 Updated May 20, 2024
  • urweb-upo Public Forked from urweb/upo

    The Ur/Web People Organizer

    typechecker/urweb-upo’s past year of commit activity
    UrWeb 0 16 0 0 Updated May 6, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…