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:
- Central place for all PDP-10 microcode☆13Mar 28, 2018Updated 8 years ago
- ☆18Apr 17, 2025Updated last year
- New changes are here: https://notabug.org/bfgeshka/awesome-c☆348Nov 28, 2020Updated 5 years ago
- ☆12Sep 8, 2020Updated 5 years ago
- This repository contains categorized multithreading problems in C++. Each example includes commented code and explanations to help unders…☆20Aug 26, 2025Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Simplified logic programming language for Unity3D☆11Sep 6, 2020Updated 5 years ago
- "console" / kmscon - like window manager☆18Dec 17, 2020Updated 5 years ago
- VKCapture with KMSGrab included☆12Sep 9, 2024Updated last year
- source for OS/VS2☆14Dec 15, 2024Updated last year
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Stu Madnick's SOS operating system for the S/370☆16Feb 23, 2024Updated 2 years ago
- A C vector library similar to the C++ STL vector☆23Apr 20, 2025Updated last year
- linux_logo in 26+ kinds of assembly language☆17Jul 17, 2023Updated 2 years ago
- Helper utilities to work with the SIMH simulators☆14Nov 5, 2015Updated 10 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.
- 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
- Fonts for the Klingon pIqaD writing system☆11Feb 9, 2018Updated 8 years ago
- DEC PDP-8 emulator running FOCAL 69 in 4K for Arduino DUE and Arduino MEGA 2560☆16Mar 3, 2021Updated 5 years ago
- an introduction to awk☆15Jul 16, 2015Updated 10 years ago
- Ring modulator sketch for Arduino☆17Aug 15, 2014Updated 11 years ago
- Metamath logic game☆10Apr 21, 2026Updated 2 weeks ago
- An example repository that can be used as base for a blogc website.☆10Jun 18, 2018Updated 7 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- ☆10Mar 10, 2013Updated 13 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Redesign of solar.lowtechmagazine.com in Hugo engine☆17Apr 26, 2025Updated last year
- SQLite bindings for Lean☆43Apr 23, 2026Updated 2 weeks ago
- minimal mass file renamer☆12Jan 26, 2022Updated 4 years ago
- Experiments with some ways of automating reasoning in lean 4☆18Apr 20, 2024Updated 2 years ago
- Script to import data in the http://iommu.info database☆12May 11, 2025Updated 11 months ago
- ☆15Apr 1, 2026Updated last month
- How to Disable Internal Keyboard when placing External Keyboard on top in Karabiner-Elements and MacOS Serria☆27Nov 2, 2016Updated 9 years ago
- Cache Oblivious Lookahead Arrays☆27Jul 20, 2013Updated 12 years ago
- A very simple and small web server for 2.11BSD, called by inetd☆15Feb 21, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A simple software rasterizer library for 3D meshes☆17Nov 28, 2025Updated 5 months ago
- Simulator of tube-based Soviet mainframe M-20☆18May 19, 2022Updated 3 years ago
- Formalization of type theory☆22Jul 5, 2021Updated 4 years ago
- LucasChess GUI with pyside6/64 bits python☆28Updated this week
- A teminal othello (reversi) in Nim.☆11May 2, 2021Updated 5 years ago
- RISCV port of the Slackware distribution☆13Jan 15, 2026Updated 3 months ago
- EasySeats multiseat GUI configuration tool executables☆12Sep 5, 2020Updated 5 years ago