zv / sexpr

Related projects ⓘ

Alternatives and complementary repositories for sexpr

• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆23Updated 2 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆130Updated last year
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆46Updated 2 years ago
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated last year
• mthom / scryer-shen
  ☆43Updated 2 weeks ago
• phase / dtt
  experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust
  ☆23Updated 8 months ago
• OlegTheCat / unlisp-llvm
  Compiler for a toy Lisp language
  ☆64Updated 4 years ago
• wartmanm / rust-kanren
  A miniKanren implementation in Rust
  ☆36Updated 8 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 3 years ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆40Updated last year
• lemaetech / reparse
  Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.
  ☆53Updated 3 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• deech / shen-rust
  ☆34Updated 5 years ago
• jsdf / lisp.rs
  Scheme Interpreter in Rust
  ☆26Updated 6 years ago
• Limvot / kraken
  The Kraken Programming Language
  ☆46Updated 9 months ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• racket / honu
  ☆18Updated last year
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆80Updated 4 months ago
• adam-mcdaniel / maroon-lang
  A (nearly) pure functional programming language.
  ☆24Updated 5 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 3 months ago
• jbclements / rust-redex
  A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
  ☆24Updated 10 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆51Updated 7 years ago
• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆42Updated 4 years ago
• zinid / delimcc
  Delimited continuations in byte-code and native OCaml
  ☆26Updated 3 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆30Updated 4 months ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆66Updated 5 years ago