stchang / macrotypes

Related projects ⓘ

Alternatives and complementary repositories for macrotypes

• wilbowma / cur
  A less devious proof assistant
  ☆222Updated last year
• rain-1 / continuations-study-group
  ☆77Updated 5 years ago
• namin / staged-miniKanren
  staged relational interpreters: running with holes, faster
  ☆125Updated this week
• mmirman / caledon
  higher order dependently typed logic programing
  ☆170Updated 6 years ago
• racket / redex
  ☆92Updated this week
• gelisam / klister
  an implementation of stuck macros
  ☆131Updated last week
• astampoulis / makam
  The Makam Metalanguage
  ☆194Updated last year
• mflatt / expander
  ☆60Updated 2 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆180Updated 9 months ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆66Updated 2 years ago
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆154Updated 3 months ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆117Updated 2 months ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆76Updated 3 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆151Updated 6 months ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• jackfirth / lens
  A Racket package for creating and composing pure functional lenses
  ☆74Updated 5 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆204Updated 5 years ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆35Updated last year
• stedolan / mlsub
  Prototype type inference engine
  ☆196Updated 3 months ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆122Updated 2 years ago
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 9 years ago
• mflatt / zuo
  ☆40Updated 6 months ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆76Updated 3 weeks ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆170Updated 7 months ago
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆159Updated 7 years ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 5 years ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆107Updated 2 years ago