A C11 compiler for the discrete logic computer
☆21Apr 3, 2024Updated 2 years ago
Alternatives and similar repositories for ccpu-cc
Users that are interested in ccpu-cc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fork of github.com/UCSBarchlab/OpenTPU for the TGPTPU project☆15Jun 1, 2025Updated last year
- An Encoding of Interaction Nets in OCaml☆10Jul 3, 2024Updated 2 years ago
- The most minimal C you can do real work in☆16May 8, 2022Updated 4 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆22Jun 4, 2026Updated last month
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Jul 4, 2013Updated 13 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Machine translation with tinygrad☆19Apr 7, 2024Updated 2 years ago
- Go development tree for the arm64 port (historical).☆17Dec 25, 2018Updated 7 years ago
- Create, compile and manage your Gradle projects without leaving vim!☆11Jun 27, 2022Updated 4 years ago
- A x86_64 Linux debugger 🐛🐛🐛☆239Feb 5, 2024Updated 2 years ago
- Convenient alternative to dd for writing images to SDCards☆15Feb 1, 2015Updated 11 years ago
- Here I just write down notes, Ideas and solution I come over in learning Elixir especially based on nerves/bakeware☆11Jun 14, 2016Updated 10 years ago
- Managed C strings library☆99Aug 17, 2021Updated 4 years ago
- A 68HC11 SBC for the 68HC11A CPUs☆12Mar 8, 2023Updated 3 years ago
- The Candle theorem prover (fork of the HOL Light sources)☆24Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Automates the build of pkgsrc binary packages in a sandbox☆15Mar 14, 2022Updated 4 years ago
- A program written in C++ that emulates a bogus CPU☆22May 6, 2024Updated 2 years ago
- Simple code for sizing the memory usage of any kind of item in Dot.Net in CLR(2.0)☆10Sep 7, 2022Updated 3 years ago
- xv6-runnable x86 Emulator☆23Feb 25, 2021Updated 5 years ago
- Verified compiler from LambdaBox to WebAssembly, C, Rust, and OCaml☆25Updated this week
- Open Matching Files is a Visual Studio Code extension for opening files with the same name across many folders☆14Jun 30, 2026Updated 3 weeks ago
- ☆15Dec 23, 2021Updated 4 years ago
- This project allows an Atmrga328p-based Arduino to be used as a "tone plant" for vintage telephone switches.☆11Feb 1, 2022Updated 4 years ago
- A .Net wrapper for libpostal, written in C#.☆13Sep 22, 2023Updated 2 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.
- Twitter meets tik tok☆10Jul 25, 2020Updated 6 years ago
- Helpers for BenchmarkDotNet☆10Aug 16, 2024Updated last year
- Collection of scripts and configurations☆11Jun 4, 2026Updated last month
- Lightweight event-loop library based on multiplexing IO☆38Mar 1, 2024Updated 2 years ago
- toy project to learn about the memory usage of different workloads with different allocators☆10Mar 30, 2023Updated 3 years ago
- Trabalho em progresso☆12Oct 20, 2022Updated 3 years ago
- The Repository for "Joshua" the audio/OSD mod for CRT TVs☆12May 24, 2025Updated last year
- The anonymous credentials zoo☆16Mar 17, 2021Updated 5 years ago
- Ixnay is a Nix shell wrapper that I'm writing as I learn about Nix and how to do various operations.☆11Jul 11, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A WIP Go library for connecting to and getting data from (Braun) Oral-B Bluetooth enabled electric toothbrushes.☆14Apr 18, 2025Updated last year
- GPL additions to https://www.kernel.org/doc/Documentation/kbuild/kconfig-language.txt☆16Oct 3, 2019Updated 6 years ago
- Automatically exported from code.google.com/p/libsum☆12Mar 19, 2015Updated 11 years ago
- Linux 4 for Caninos Labrador V3☆14Sep 25, 2023Updated 2 years ago
- A STCmicro STC15W4K32S4 series micro controller turns an IBM Wheelwriter Electronic Typewriter into a teletype-like device.☆16Sep 11, 2025Updated 10 months ago
- CECS 342 Lab 4: Logic Languages with SWI-Prolog☆13Nov 19, 2021Updated 4 years ago
- Tool to create Tock Application Bundles from ELF files.☆18Jun 30, 2026Updated 3 weeks ago