aumouvantsillage / Vermicel-CPU-RacketLinks
Vermicel is a minimal RISC-V core.
☆9Updated 11 months ago
Alternatives and similar repositories for Vermicel-CPU-Racket
Users that are interested in Vermicel-CPU-Racket are comparing it to the libraries listed below
Sorting:
- ☆22Updated 5 years ago
- ☆19Updated 2 years ago
- An optics (lenses, prisms, traversals, etc.) library for Racket.☆10Updated 4 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- Implementation of local and remote loci for Racket☆12Updated 4 years ago
- ☆19Updated 4 years ago
- Le-Lisp by INRIA☆28Updated 2 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆19Updated 3 years ago
- Interactive Scheme Primer, written in Scheme.☆22Updated 2 weeks ago
- software archaeology of reflective towers of interpreters☆16Updated 2 weeks ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- Livin' like it's 1813 (or 1988).☆32Updated last year
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆17Updated 8 years ago
- racket llvm C-API bindings☆17Updated 6 months ago
- 🧊 TeX-подібна система верстки наукових праць☆19Updated 3 months ago
- A Scala-style magic function application form☆43Updated 2 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Updated 11 years ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 11 years ago
- Scheme implementation suitable for microcontrollers☆8Updated 10 years ago
- Adds syntax to racket languages☆11Updated 2 years ago
- Syntax Parse Bee 2021☆11Updated 2 years ago
- A column-oriented, dataframe implementation for Racket.☆17Updated 2 months ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16Updated last month
- Simple Racket implementation of the OAuth2 family of specifications☆13Updated 4 years ago
- A Scheme-like Lisp interpreter that can also run as an operating system☆20Updated 11 years ago
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Updated 6 months ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago