fir-lang / fir

Related projects ⓘ

Alternatives and complementary repositories for fir

• osa1 / h10
  A Haskell 2010 type checker
  ☆14Updated 8 months ago
• phase / dtt
  experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust
  ☆23Updated 8 months ago
• yvan-sraka / hs-bindgen
  Handy macro to generate C-FFI bindings to Rust for Haskell
  ☆66Updated this week
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆53Updated 6 months ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆30Updated 2 years ago
• Avi-D-coder / sundial-gc-design
  type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc
  ☆31Updated 4 years ago
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 3 months ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆34Updated 2 months ago
• LightAndLight / ipso
  A functional scripting language.
  ☆17Updated last month
• atennapel / tinka-hs
  Dependently typed programming language written in Haskell
  ☆22Updated 2 years ago
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated 10 months ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆26Updated 2 years ago
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆13Updated 6 months ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated last year
• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• Gabriella439 / haskell-flake
  Flake template for Haskell repository
  ☆21Updated last month
• AndrasKovacs / sett
  Setoid type theory implementation
  ☆38Updated last year
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆48Updated this week
• BeFunctional / haskell-rust-ffi
  ☆14Updated last year
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆15Updated 4 months ago
• caius-iulius / spinnaker
  ☆27Updated last year
• samuela / bidirectional-typing
  A bidirectional type checker
  ☆57Updated 7 years ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆46Updated 2 years ago
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆25Updated 2 years ago
• andreypopp / type-systems
  Playing with type systems
  ☆46Updated 2 years ago
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆21Updated last year
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆27Updated last week
• ohad / collie
  Command line interface library in Idris
  ☆30Updated 3 months ago