MIT CADR original verilog and simulator
☆17Jan 2, 2016Updated 10 years ago
Alternatives and similar repositories for cpus-cadr
Users that are interested in cpus-cadr are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- FPGA based PDP-11 cpu☆18Jan 2, 2016Updated 10 years ago
- FPGA based PDP-8/i clone in verilog. Includes several TSS/8 sources and utiltities to build from source☆25Jan 2, 2016Updated 10 years ago
- FPGA based MIT CADR lisp machine - rewritten in modern verilog - boots and runs☆158Jan 2, 2016Updated 10 years ago
- CADR Lisp Machine simulator☆23Oct 2, 2016Updated 9 years ago
- CADR Lisp Machine Simulator☆10Sep 18, 2015Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Source code for various Genera projects of Douglas Fields☆41May 6, 2021Updated 5 years ago
- An exploration of a new lisp dialect and the use of it to build an OS on the Beaglebone black.☆10Nov 24, 2015Updated 10 years ago
- Version 1 of the Climacs editor.☆19Sep 6, 2017Updated 8 years ago
- Environment protocol for Common Lisp compilers.☆32Jan 6, 2024Updated 2 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Mar 26, 2026Updated last month
- Efficient endianness conversion for SBCL☆20Jun 8, 2024Updated last year
- a portable, powerful and pure functional JSON library for Scheme☆50Jul 11, 2022Updated 3 years ago
- TinyBasic implementation in Racket (WIP)☆14Apr 25, 2025Updated last year
- ☆20May 12, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Common Lisp bindings to portaudio library☆26Nov 24, 2020Updated 5 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆16May 29, 2015Updated 10 years ago
- The Lambda Lisp operating system☆10Aug 20, 2020Updated 5 years ago
- Recovered files for Smalltalk-80 on the Alto☆11Oct 10, 2018Updated 7 years ago
- Reference manual for the Common Lisp programming language.☆17Jun 10, 2017Updated 8 years ago
- Concrete Syntax Trees represent s-expressions with source information☆62Aug 22, 2025Updated 9 months ago
- Common Lisp bindings for minimalistic GUI library, libui, https://github.com/andlabs/libui☆35Jun 27, 2016Updated 9 years ago
- *Lisp simulator☆28Oct 11, 2013Updated 12 years ago
- Simple X11 based desktop pager☆10Mar 29, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Common Lisp bindings to the Dear IMGUI Library: https://github.com/ocornut/imgui☆15Mar 6, 2017Updated 9 years ago
- A specification of an improvement to the Common Lisp standard☆23Feb 4, 2022Updated 4 years ago
- FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7☆54Feb 17, 2024Updated 2 years ago
- A Plan9-inspired, mouse-oriented, graphical menu, which works with the standard input.☆17Apr 15, 2024Updated 2 years ago
- Rustic X11 games☆16Jan 15, 2026Updated 4 months ago
- Toolkit to render stuff in plaintext☆17Aug 13, 2025Updated 9 months ago
- A simpler alternative to object prevalence for Common Lisp.☆54Jul 5, 2024Updated last year
- Colorimetry library for Common Lisp☆46Oct 22, 2023Updated 2 years ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Mirror of MIT CADR Lisp machine system software☆23Feb 14, 2019Updated 7 years ago
- CFFI bindings for FFMPEG☆21Jan 13, 2015Updated 11 years ago
- Personal plan9port configuration and scripts.☆12May 13, 2026Updated last week
- ☆21Mar 15, 2016Updated 10 years ago
- Motif version of the classic X File Manager (XFM)☆19Nov 20, 2022Updated 3 years ago
- The official website of One Student One Chip project.☆12Feb 5, 2026Updated 3 months ago
- proof script associated to tutorial material☆17Oct 29, 2023Updated 2 years ago