Solutions to exercises and projects of K. N. King's textbook C Programming: A Modern Approach, 2nd Edition
☆21Sep 14, 2019Updated 6 years ago
Alternatives and similar repositories for exc
Users that are interested in exc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Jun 29, 2018Updated 7 years ago
- New changes are here: https://notabug.org/bfgeshka/awesome-c☆348Nov 28, 2020Updated 5 years ago
- Simplified logic programming language for Unity3D☆11Sep 6, 2020Updated 5 years ago
- The Georgia Tech Software Tools Subsystem and C Compiler for Prime Computers☆13Oct 4, 2019Updated 6 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Unix V6 with Arpanet support☆17Oct 11, 2022Updated 3 years ago
- Stu Madnick's SOS operating system for the S/370☆16Feb 23, 2024Updated 2 years ago
- Helper utilities to work with the SIMH simulators☆14Nov 5, 2015Updated 10 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Voice Recognition using FPGA-Based Neural Networks☆15Jul 6, 2016Updated 9 years ago
- Fonts for the Klingon pIqaD writing system☆10Feb 9, 2018Updated 8 years ago
- KL10 model B (KL10-PV) PDP-10 CPU emulation through execution of the original microcode☆12Jul 12, 2023Updated 2 years ago
- DEC PDP-8 emulator running FOCAL 69 in 4K for Arduino DUE and Arduino MEGA 2560☆16Mar 3, 2021Updated 5 years ago
- A flying and bombing game☆13Nov 16, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Ring modulator sketch for Arduino☆17Aug 15, 2014Updated 11 years ago
- Web-based emulator and operating environment for the ElectroData/Burroughs Datatron 205 computer system.☆14Aug 22, 2022Updated 3 years ago
- Lean 3 web editor☆12Oct 25, 2023Updated 2 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Apr 20, 2024Updated last year
- Script to import data in the http://iommu.info database☆12May 11, 2025Updated 10 months ago
- Cache Oblivious Lookahead Arrays☆27Jul 20, 2013Updated 12 years ago
- Simulator of tube-based Soviet mainframe M-20☆18May 19, 2022Updated 3 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.
- Formalization of type theory☆22Jul 5, 2021Updated 4 years ago
- A teminal othello (reversi) in Nim.☆11May 2, 2021Updated 4 years ago
- EasySeats multiseat GUI configuration tool executables☆12Sep 5, 2020Updated 5 years ago
- My Solus 3rd-party repo, moved to https://gitlab.com/devil505/solus-3rd-party-repo/☆18Oct 16, 2018Updated 7 years ago
- A video game to save cities☆16Oct 14, 2021Updated 4 years ago
- a simulation . of a vector display ! ya! (also a color crt tv mode)☆25Nov 12, 2024Updated last year
- ☆15Oct 24, 2017Updated 8 years ago
- A command that to read novel on terminal.☆10Sep 23, 2019Updated 6 years ago
- Request For Comment (RFC) repo for Nu☆12Sep 29, 2023Updated 2 years 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 Command-Line Program of Feedforward Neural Networks☆19Jul 2, 2025Updated 8 months ago
- Track SVG Splash feature requests and discussions☆13Apr 23, 2020Updated 5 years ago
- PDP-8 Assembly Language Studio☆17Aug 5, 2014Updated 11 years ago
- Filesharing between DEC PDP-11 and modern hardware over tape emulator☆25Mar 2, 2026Updated 3 weeks ago
- PDP8/PDP5 emulator in bash☆21May 5, 2020Updated 5 years ago
- Lean4 bindings for raylib☆23Mar 16, 2026Updated last week
- Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics☆13Jan 16, 2022Updated 4 years ago