aumouvantsillage / Vermicel-CPU-Racket
Vermicel is a minimal RISC-V core.
☆9Updated 9 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
- ☆22Updated 5 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- ☆19Updated last year
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- A Scheme-like Lisp interpreter that can also run as an operating system☆18Updated 11 years ago
- 🧊 TeX-подібна система верстки наукових праць☆19Updated last month
- MIT CADR original verilog and simulator☆16Updated 9 years ago
- racket scheme peg-parser☆23Updated 3 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆19Updated 3 years ago
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆40Updated last year
- Common-Lisp simulation and FPGA implementation of MIT's Scheme-79 chip☆11Updated last week
- Interactive Scheme Primer, written in Scheme.☆21Updated 6 months ago
- A server, client and UI for remotely debugging Racket applications.☆20Updated 10 months ago
- Formally verified operator language and rewriting engine for high-performance computing☆24Updated 10 months ago
- Le-Lisp by INRIA☆28Updated 2 years ago
- med - A fork of the emacs-like text editor for the Mezzano operating system☆7Updated 4 years ago
- META II compiler, assembler and bytecode interpreter.☆18Updated 6 years ago
- Category Theory in Programming☆12Updated 2 weeks ago
- racket llvm C-API bindings☆17Updated 4 months ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Adds syntax to racket languages☆11Updated 2 years ago
- Easy scripting for DrRacket☆18Updated last month
- https://makerlisp.com/☆19Updated 4 years ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆56Updated 5 years ago
- A version of the Lisp programming language for RISC-V based boards.☆28Updated 3 months ago
- scheme->gba : a Scheme compiler targeting ARM assembly.☆13Updated 8 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆13Updated 3 years ago
- An optics (lenses, prisms, traversals, etc.) library for Racket.☆10Updated 4 years ago
- ☆19Updated last month
- Implementation of local and remote loci for Racket☆12Updated 4 years ago