matthriscu / TBH
☆17Updated 2 years ago
Alternatives and similar repositories for TBH:
Users that are interested in TBH are comparing it to the libraries listed below
- ACS - Proiectarea Algoritmilor (lab)☆14Updated this week
- [wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold unti…☆204Updated last month
- Mirror of the official Barrelfish OS repository.☆193Updated 2 years ago
- Teaching resources (OER) for Operating Systems☆67Updated 11 months ago
- An accessible Forth written in machine code for the RISC-V architecture.☆11Updated 7 months ago
- Common Lisp implementation of the Forth 2012 Standard☆117Updated last week
- xv6 OS☆237Updated this week
- Repository public IOCLA☆24Updated 7 months ago
- ACL2 System and Books as Maintained by the Community☆384Updated this week
- A work-in-progress garbage collector for Guile☆170Updated this week
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆40Updated this week
- virtual lisp machine on linux☆90Updated last year
- Persistent Memory Docbook☆9Updated 5 months ago
- Microkit - A simple operating system framework for the seL4 microkernel☆115Updated 2 weeks ago
- A tiny Racket for scripting☆289Updated last month
- Source and guide to run Xinu on the BeagleBone Black☆48Updated 2 years ago
- Mirror of codeberg's repository☆156Updated this week
- My book materials☆11Updated 3 months ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆111Updated 2 weeks ago
- A FORTH in 340 bytes — the smallest real programming language ever as of yet.☆568Updated 8 months ago
- ☆69Updated last month
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆88Updated 4 years ago
- Unikernel Linux☆205Updated 2 weeks ago
- Code auditing and profiling tool based on gcc for C programs to adhere to NASA's JPL Rule of 10 🚀☆61Updated last year
- A curated list of awesome Lisp Machine and Lisp Operating System☆232Updated 6 months ago
- WIP Unicode version of Charles C. Sims' CLASSLIB used in Abstract Algebra-A Computational Approach☆6Updated 3 years ago
- AspectL is a deprecated library that provides some experimental aspect-oriented extensions for Common Lisp / CLOS.☆13Updated 9 years ago
- Mount Unix system into Common Lisp image☆164Updated 7 months ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆376Updated last month
- A Cellular Automata Machine (CAM) library loosely based on CAM Forth☆9Updated 9 years ago