Alternatives and similar repositories for PySExpr:

Users that are interested in PySExpr are comparing it to the libraries listed below

• JUrban / MPTP2
  ☆19Updated 7 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆20Updated 5 months ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• massimo-nocentini / microkanrenpy
  A Pythonic implementation of *microkanren* logic language
  ☆9Updated 4 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated 11 months ago
• racket / parser-tools
  ☆12Updated 2 months ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 6 years ago
• stchang / mlish
  ☆21Updated 4 years ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 10 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• haskell-implementations / hugs
  Haskell User's Gofer System
  ☆22Updated 8 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• rain-1 / tarot-compiler
  ☆17Updated 5 years ago
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 5 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆15Updated 13 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• racket / honu
  ☆19Updated last year
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆17Updated 7 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• RemuLang / proud
  The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as record…
  ☆14Updated 5 years ago
• lambertjamesd / zen-lang
  An experimental language with compile time bounds checking
  ☆14Updated 5 years ago