Alternatives and similar repositories for jeffrey

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

• GrammaTech / cl-smt-lib
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆19Updated 3 years ago
• sjl / temperance
  A logic programming library for Common Lisp.
  ☆62Updated 4 years ago
• OdonataResearchLLC / weyl
  This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses…
  ☆48Updated 8 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated 3 weeks ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆85Updated 3 years ago
• gheber / kenzo
  A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
  ☆52Updated 4 months ago
• david-christiansen / dr-racket-like-unicode
  A clone of DrRacket-style Unicode symbol input for Emacs
  ☆16Updated 2 years ago
• mighty-gerbils / gerbil-utils
  Collection of Utilities for Gerbil Scheme
  ☆43Updated 10 months ago
• stylewarning / computable-reals
  Arbitrary precision, automatic re-computing real numbers in Common Lisp.
  ☆33Updated last year
• samth / fancy-app
  A Scala-style magic function application form
  ☆43Updated 2 years ago
• Neronus / CL-CUDD
  Common lisp bindings to CUDD.
  ☆12Updated 7 years ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆26Updated 6 months ago
• cl-model-languages / cl-prolog2
  Common Interface to ISO Prolog implementations from Common Lisp
  ☆34Updated 3 years ago
• haskell-lisp / yale-haskell
  HASKELL: Yale Haskell system written in Lisp
  ☆100Updated 11 years ago
• syntax-objects / syntax-parse-example
  Collection of syntax/parse macros
  ☆30Updated 2 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated this week
• racket / math
  ☆38Updated last month
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆32Updated last year
• ruricolist / vernacular
  Module system for languages that compile to Common Lisp
  ☆60Updated last year
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• lexi-lambda / functional
  Functional interfaces and datatypes for Racket
  ☆43Updated 3 years ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆81Updated 8 months ago
• racket / slideshow
  ☆37Updated last month
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆35Updated 4 years ago
• cbaggers / tamei
  Common Lisp symbols separated into packages according to their purity
  ☆33Updated 8 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆21Updated 10 years ago
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Updated 7 years ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆63Updated this week
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 8 years ago
• s-expressionists / Concrete-Syntax-Tree
  Concrete Syntax Trees represent s-expressions with source information
  ☆61Updated last week