argumentcomputer / introit

Related projects ⓘ

Alternatives and complementary repositories for introit

• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 4 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆18Updated last week
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆19Updated last month
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆26Updated 2 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆66Updated 5 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 4 years ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆13Updated 3 years ago
• LightAndLight / ipso
  A functional scripting language.
  ☆17Updated last month
• clintonmead / haskell_bits
  ☆54Updated 4 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• lqd / datapond
  A set of tools for working with datafrog
  ☆22Updated 4 years ago
• pachadb / pachadb
  an edge database
  ☆26Updated 3 months ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated last year
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆14Updated 3 years ago
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆18Updated 5 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆13Updated 4 years ago
• oppiliappan / cutlass
  experimental auto-currying for rust functions
  ☆32Updated 4 years ago
• LutrisEng / datom-rs
  An open-source database inspired by Datomic
  ☆29Updated 10 months ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆25Updated this week
• konn / ghc-wasm-earthly
  GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly
  ☆10Updated this week
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 6 years ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆36Updated this week
• jaredly / jerd
  ☆36Updated 3 years ago
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆42Updated 8 years ago