aumouvantsillage / Vermicel-CPU-RacketLinks
Vermicel is a minimal RISC-V core.
☆9Updated last year
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 4 years ago
- racket scheme peg-parser☆23Updated 3 years ago
- WebAssembly model in Redex☆16Updated 6 years ago
- Implementation of local and remote loci for Racket☆12Updated 4 years ago
- A Scheme-like Lisp interpreter that can also run as an operating system☆20Updated 11 years ago
- Wasm tooling in Racket.☆43Updated 2 years ago
- ☆19Updated 2 years ago
- A Scheme TCP/IP Stack Targeting Small Embedded Applications☆25Updated 11 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16Updated last month
- scheme->gba : a Scheme compiler targeting ARM assembly.☆13Updated 8 years ago
- Adds syntax to racket languages☆11Updated 2 years ago
- Racket bindings for Z3☆20Updated 12 years ago
- Easy scripting for DrRacket☆18Updated 2 months ago
- Boolean Constraint Solving in Prolog☆43Updated 7 months ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆56Updated 6 years ago
- Run raco run! Easier running Racket submodules on the command line.☆10Updated 2 weeks ago
- My personal template repository for Racket packages☆16Updated 4 years ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆31Updated last month
- An optics (lenses, prisms, traversals, etc.) library for Racket.☆10Updated 4 years ago
- Interactive Scheme Primer, written in Scheme.☆22Updated last month
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆19Updated 3 years ago
- Ubuntu PPA for Racket (based on the upstream in Debian at https://salsa.debian.org/bremner/racket). Check the Launchpad page for details …☆10Updated 2 years ago
- ☆43Updated 2 months ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- https://makerlisp.com/☆20Updated 4 years ago
- software archaeology of reflective towers of interpreters☆16Updated last month
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago
- Le-Lisp by INRIA☆28Updated 2 years ago