goudreinette / lispLinks
My WIP Lisp implementation, used to try out ideas and better understand the design decisions involved in creating languages.
☆12Updated 8 years ago
Alternatives and similar repositories for lisp
Users that are interested in lisp are comparing it to the libraries listed below
Sorting:
- an IMAP mail client implemented in Racket☆32Updated last month
- a Heroku buildpack for deploying apps written in Racket☆27Updated 3 years ago
- #lang clojure☆125Updated 10 years ago
- ☆131Updated last year
- MIT Scheme environment for the browser☆59Updated 7 years ago
- Geneva: portable document preparation system☆9Updated 8 years ago
- A bare-bones academic wiki with LaTeX and (multi)markdown support☆71Updated 10 years ago
- Don't Lisp, Talk!☆57Updated last year
- A simple game in Scheme.☆15Updated 8 years ago
- A neatly typeset version of John McCarthy's classic paper☆124Updated 6 months ago
- Cleven is an experimental game engine with volume graphics written in Common Lisp.☆46Updated 8 years ago
- miniKanren for Emacs☆113Updated 3 years ago
- An Inference Engine based on Propositional Calculus written in Common Lisp☆47Updated 2 weeks ago
- Canonical miniKanren implementation in Racket☆86Updated 3 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆47Updated 7 years ago
- a Racket language inspired by ARc, by Kogir☆29Updated 12 years ago
- organizes tags☆23Updated 7 years ago
- Racket parser combinators inspired by parsack and megaparsec☆81Updated 9 months ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 4 years ago
- Examples of the nice parts of Racket☆22Updated 7 years ago
- simple parser combinators for Common Lisp☆25Updated 7 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- Algebraic structures for untyped Racket☆77Updated last year
- A Bel Lisp interpreter built with C, written as a book/literate program (archived)☆55Updated 4 years ago
- Glyphs - Reducing Common Lisp verbosity☆30Updated 7 years ago
- Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically de…☆67Updated 2 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆54Updated 8 years ago
- deploying Racket on Android☆98Updated 8 years ago
- ☆74Updated 10 years ago
- Graphical programming editor☆33Updated 8 years ago