zv / sexpr

Related projects: ⓘ

• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆131Updated last year
• wartmanm / rust-kanren
  A miniKanren implementation in Rust
  ☆36Updated 8 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆23Updated last year
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆77Updated 2 months ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆40Updated last year
• racket / honu
  ☆18Updated last year
• deech / shen-rust
  ☆34Updated 5 years ago
• lexi-lambda / racket-tulip
  ☆15Updated 7 years ago
• suhr / conc
  ☆18Updated this week
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 2 years ago
• lurk-lab / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated last year
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆32Updated 4 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆28Updated 2 months ago
• adam-mcdaniel / maroon-lang
  A (nearly) pure functional programming language.
  ☆23Updated 5 years ago
• m4b / raml
  OCaml runtime and FFI bindings directly in Rust
  ☆78Updated 7 years ago
• mthom / scryer-shen
  ☆37Updated last month
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• brendanzab / rust-nbe-for-mltt
  Normalization by evaluation for Martin-Löf Type Theory with dependent records
  ☆91Updated 2 years ago
• Bogdanp / racket-dbg
  A server, client and UI for remotely debugging Racket applications.
  ☆19Updated 3 months ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆33Updated 4 months ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated last month
• berke / aurochs
  Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…
  ☆45Updated 10 months ago
• cuddlefishie / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆32Updated last month
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆51Updated 7 years ago
• racket / frtime
  ☆18Updated last month
• jbclements / rust-redex
  A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
  ☆24Updated 9 years ago
• playXE / capy
  Scheme implementation (now maybe working properly)
  ☆19Updated 9 months ago