devNegative-asm / TypeLisp

Related projects ⓘ

Alternatives and complementary repositories for TypeLisp

• drym-org / qi
  An embeddable flow-oriented language.
  ☆59Updated 2 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆64Updated 2 months ago
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 3 months ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆19Updated 9 months ago
• brendanzab / lean-holes
  Interactive holes for Lean 4
  ☆16Updated 6 months ago
• cdupont / Timeloop
  ☆40Updated last year
• matthunz / hoot
  Opinionated package manager for haskell (WIP)
  ☆17Updated last year
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆11Updated 9 months ago
• vmchale / apple
  Apple array system
  ☆54Updated this week
• disconcision / containment-patterns
  pattern combinators extending racket/match to capture 🔗 contexts 📦
  ☆18Updated 5 years ago
• jkoppel / ecta
  ☆33Updated 7 months ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆29Updated 10 months ago
• vmchale / dickinson
  Text generation language
  ☆32Updated last week
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆38Updated this week
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical types
  ☆25Updated this week
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated 10 months ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆21Updated 2 months ago
• lexi-lambda / talks
  ☆43Updated last year
• vmchale / pybqn
  BQN↔NumPy bridge
  ☆18Updated 2 weeks ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated 9 months ago
• isovector / functional-design-patterns
  could it be?
  ☆14Updated 3 months ago
• lexi-lambda / lexi-lambda.github.io
  ☆29Updated 2 years ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated last year
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 3 months ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆34Updated last year
• ralsei / sawzall
  A grammar of data manipulation for Racket.
  ☆20Updated 3 years ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆28Updated last year
• Anut-py / ghc-web-test
  ☆15Updated last year
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆14Updated 3 years ago
• evincarofautumn / hap-hs
  Haskell [re]implementation of Hap, a simple event-based programming language.
  ☆12Updated 4 years ago