Skip to content

@typechecker typechecker

Change the repository type filter

All

    Repositories list

    90 repositories

    • agda

      Public
      Agda is a dependently typed programming language / interactive theorem prover.
      Haskell
      •
      Other
      •364•0•0•0•Updated Aug 16, 2024Aug 16, 2024

    • hlint

      Public
      Haskell source code suggestions
      Haskell
      •
      Other
      •197•0•0•0•Updated Aug 15, 2024Aug 15, 2024

    • hyphen

      Public
      hyphen - access Haskell modules from Python
      Haskell
      •
      GNU General Public License v2.0
      •9•0•0•0•Updated Jun 27, 2024Jun 27, 2024

    • base64

      Public
      RFC 4648-compliant Base64
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •10•0•0•0•Updated May 31, 2024May 31, 2024

    • stan

      Public
      🕵️ Haskell STatic ANalyser
      Haskell
      •
      Mozilla Public License 2.0
      •49•0•0•0•Updated May 31, 2024May 31, 2024

    • liquid-fixpoint

      Public
      Horn Clause Constraint Solving for Liquid Types
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •62•0•0•0•Updated May 30, 2024May 30, 2024

    • urweb

      Public
      The Ur/Web programming language
      Standard ML
      •
      Other
      •66•1•0•0•Updated May 28, 2024May 28, 2024

    • liquidhaskell

      Public
      Liquid Types For Haskell
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •139•0•0•0•Updated May 25, 2024May 25, 2024

    • share-api

      Public
      Unison Share's backend server
      Haskell
      •
      MIT License
      •4•0•0•0•Updated May 20, 2024May 20, 2024

    • urweb-upo

      Public
      The Ur/Web People Organizer
      UrWeb
      •
      Other
      •16•0•0•0•Updated May 6, 2024May 6, 2024

    • bond

      Public
      Bond is a cross-platform framework for working with schematized data. It supports cross-language de/serialization and powerful generic mechanisms for efficiently manipulating data. Bond is broadly used at Microsoft in high scale services.
      C++
      •
      MIT License
      •323•0•0•0•Updated May 6, 2024May 6, 2024

    • hsthrift

      Public
      The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift project for the implementation of the underlying transport.
      Haskell
      •
      Other
      •34•0•0•0•Updated Apr 30, 2024Apr 30, 2024

    • Glean

      Public
      System for collecting, deriving and working with facts about source code.
      Hack
      •
      Other
      •49•0•0•0•Updated Apr 30, 2024Apr 30, 2024

    • klister

      Public
      an implementation of stuck macros
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •11•0•0•0•Updated Apr 25, 2024Apr 25, 2024

    • containers

      Public
      Assorted concrete container types
      Haskell
      •179•0•0•0•Updated Apr 19, 2024Apr 19, 2024

    • loogle

      Public
      Mathlib search tool
      Lean
      •
      Apache License 2.0
      •7•0•0•0•Updated Mar 24, 2024Mar 24, 2024

    • hackage-security

      Public
      Hackage security framework based on TUF (The Update Framework)
      Haskell
      •48•0•0•0•Updated Mar 17, 2024Mar 17, 2024

    • julia

      Public
      The Julia Programming Language
      Julia
      •
      MIT License
      •5.5k•0•0•0•Updated Mar 9, 2024Mar 9, 2024

    • koka

      Public
      Koka language compiler and interpreter
      Haskell
      •
      Other
      •167•0•0•0•Updated Feb 28, 2024Feb 28, 2024

    • verso

      Public
      Lean documentation authoring tool
      Lean
      •
      Apache License 2.0
      •14•0•0•0•Updated Feb 23, 2024Feb 23, 2024

    • lean4

      Public
      Lean 4 programming language and theorem prover
      Lean
      •
      Apache License 2.0
      •446•0•0•0•Updated Feb 23, 2024Feb 23, 2024

    • lean-reservoir

      Public
      Package registry for Lean/Lake. (WIP)
      Vue
      •
      Apache License 2.0
      •1•0•0•0•Updated Feb 1, 2024Feb 1, 2024

    • elm-compiler

      Public
      Compiler for Elm, a functional language for reliable webapps.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •662•0•0•0•Updated Nov 30, 2023Nov 30, 2023

    • plutus

      Public
      The Plutus language implementation and tools
      Haskell
      •
      Apache License 2.0
      •483•1•0•0•Updated Nov 9, 2023Nov 9, 2023

    • aeson-extra

      Public
      Extra goodies for aeson
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •4•0•0•0•Updated Jul 20, 2023Jul 20, 2023

    • ogma

      Public
      Haskell
      •
      Other
      •26•0•0•0•Updated May 23, 2023May 23, 2023

    • embed-ghc-stack-overflow

      Public
      Haskell
      •
      Mozilla Public License 2.0
      •0•0•0•0•Updated May 2, 2023May 2, 2023

    • unison

      Public
      A friendly programming language from the future
      Haskell
      •
      Other
      •272•0•0•0•Updated May 1, 2023May 1, 2023

    • redundant-but-not-deducible

      Public
      Haskell
      •
      Mozilla Public License 2.0
      •0•0•0•0•Updated Mar 29, 2023Mar 29, 2023

    • apply-refact

      Public
      Refactor Haskell source files
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •29•0•0•0•Updated Jan 22, 2023Jan 22, 2023