fir-lang / fir

Related projects: ⓘ

• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆18Updated last month
• osa1 / h10
  A Haskell 2010 type checker
  ☆13Updated 6 months ago
• samuela / bidirectional-typing
  A bidirectional type checker
  ☆55Updated 7 years ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆32Updated last week
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆18Updated 8 months ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆30Updated 2 years ago
• andreypopp / type-systems
  Playing with type systems
  ☆43Updated 2 years ago
• yvan-sraka / hs-bindgen
  Handy macro to generate C-FFI bindings to Rust for Haskell
  ☆65Updated this week
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆52Updated 4 months ago
• AndrasKovacs / sett
  Setoid type theory implementation
  ☆38Updated last year
• edemko / nanopass
  Haskell port of the Nanopass Compiler Framework
  ☆10Updated 8 months ago
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆13Updated 4 months ago
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆54Updated last year
• ShinKage / idris2-nvim
  Simple configuration and extra tools for NVIM + LSP + Idris2
  ☆46Updated 5 months ago
• divarvel / haskle
  Source code for haskle.net
  ☆29Updated last year
• phase / dtt
  experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust
  ☆23Updated 6 months ago
• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆43Updated last year
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆17Updated 8 months ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆48Updated 3 years ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆82Updated 3 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆51Updated last year
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆27Updated 2 years ago
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆64Updated 6 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 3 years ago
• Guest0x0 / trebor
  an implementation of Observational Type Theory (OTT) and more
  ☆25Updated last year
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆32Updated last month
• balint99 / sfpl
  A simple functional programming language.
  ☆20Updated 3 years ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆49Updated 11 months ago