xmonader / pyparsec

Related projects: ⓘ

• Mesabloo / jellyvm
  A VM written following the Linear Abstract Machine architecture
  ☆22Updated 4 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆22Updated 4 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 6 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• sconybeare / mltt
  Implementation of Martin-Löf Type Theory in Haskell
  ☆16Updated 8 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 6 years ago
• johnli0135 / redox-lang
  ☆25Updated this week
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 7 months ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Updated 6 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• jfaure / lfvm-stg
  Map lazy functional language constructs to LLVM IR
  ☆50Updated 5 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆40Updated last week
• spire / spire
  The Spire Programming Language
  ☆59Updated 9 years ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 4 years ago
• plt-amy / ahc
  ☆20Updated this week
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 3 years ago
• Toxaris / pts
  Interpreter for functional pure type systems.
  ☆21Updated 7 years ago
• Copilot-Language / copilot-language
  (DEPRECATED) Front-end of Copilot defining the user language.
  ☆15Updated 3 years ago
• DataKinds / charm
  A [ functional stack ] based language.
  ☆28Updated 10 months ago
• dreixel / generic-deriving
  ☆44Updated 6 months ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 3 years ago
• ziman / itt-idris
  ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2
  ☆23Updated 10 months ago
• m-yac / tt-in-cagda
  Simply typed lambda calculus in cubical agda
  ☆21Updated 4 years ago
• vanaur / Arlia-Fsharp
  ☆16Updated this week
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆13Updated last year
• 5HT / canopus
  ☆12Updated this week
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 3 months ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• vmchale / atspkg
  Build tool for ATS.
  ☆41Updated 2 years ago
• ats-lang / ats-lang.github.io
  For hosting certain parts of http://www.ats-lang.org
  ☆25Updated last year