☆23Oct 8, 2025Updated 6 months ago
Alternatives and similar repositories for ucisc
Users that are interested in ucisc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GuidedSampler: Coverage-guided Sampling of SMT Solutions☆15Jul 9, 2025Updated 9 months ago
- A tiny Emacs editor core with a tiny Lisp extention language☆46May 1, 2017Updated 9 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- ☆23Nov 13, 2014Updated 11 years ago
- Blockly adapted to generate Z80 code☆18Dec 19, 2014Updated 11 years 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.
- Simple FORTH assembler for Intel 8086☆13Jul 28, 2021Updated 4 years ago
- Assembler, Compiler and Emulator targeting the 8086 platform for use on x86 architecture. For BYU ECEn 425 - RTOS☆21May 4, 2023Updated 2 years ago
- A MACRO-11 assembler for the PDP-11 in portable C source code. Copyright (c) 2001, Richard Krehbiel☆31May 6, 2017Updated 8 years ago
- Some software for using Oberon 2013. http://www.inf.ethz.ch/personal/wirth/ProjectOberon/☆15Nov 7, 2023Updated 2 years ago
- a readable language that grows from the silicon☆61Jul 24, 2023Updated 2 years ago
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆18Jun 17, 2019Updated 6 years ago
- FastCGI low-level API and WSGI-Style API for SBCL☆29Jun 7, 2024Updated last year
- A repository to help share financial-variables that people and tools care about☆16Nov 18, 2025Updated 5 months ago
- A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl☆17Jan 17, 2017Updated 9 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆25May 28, 2025Updated 11 months ago
- Common Lisp with Arc Macros and Procedures☆75Jul 7, 2016Updated 9 years ago
- Standard library for the Formality language☆18Mar 22, 2020Updated 6 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆19Mar 19, 2017Updated 9 years ago
- A curated list of references to help you get up to speed with the concepts and techniques needed to become a successful ML researcher.☆15Jan 20, 2022Updated 4 years ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆15Dec 29, 2021Updated 4 years ago
- Lua port of of microKanren, a minimal logic programming engine.☆34Jan 21, 2014Updated 12 years ago
- CCPU for GA144☆23Jul 11, 2018Updated 7 years ago
- META II compiler, assembler and bytecode interpreter.☆18Jan 20, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Fork of Lua 5.1 to encourage end-user programming☆176Nov 27, 2023Updated 2 years ago
- an APL-style array calculator/interpreter in C based on the J-incunabulum, extended to allow propagating specifications a+2+a<3, more fun…☆29Dec 2, 2016Updated 9 years ago
- Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.☆369Aug 18, 2022Updated 3 years ago
- A well-defined system API for abstracting the OS platform☆66Oct 24, 2021Updated 4 years ago
- A 16-bit Lisp based operating system.☆78Aug 13, 2021Updated 4 years ago
- A reference implementation for a weave data structure to allow quick reconstruction of old versions of a compressed repository in version…☆17Jan 2, 2016Updated 10 years ago
- Constrained RAndom Verification Enviroment (CRAVE)☆19Nov 23, 2023Updated 2 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆53Feb 9, 2023Updated 3 years ago
- A minimal lockless queue (i.e. a light pipe) witten in vanilla C.☆13May 6, 2018Updated 7 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.
- Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.☆1,427Apr 2, 2026Updated last month
- ☆22Feb 22, 2020Updated 6 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- My notes from reading this amazing book by Peter M. Kogge.☆25Apr 14, 2014Updated 12 years ago
- XTDB module allows you to use Tarantool (in-memory computing platform)☆11Dec 4, 2021Updated 4 years ago
- Delimited continuations in byte-code and native OCaml☆27Jan 10, 2021Updated 5 years ago
- Bringing computing to the scale of a room makes it a communal and social experience.☆35Jan 24, 2023Updated 3 years ago