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:
- Fisheye effect, but smooth.☆15Oct 23, 2025Updated 7 months ago
- retained ui for love2d☆12Nov 13, 2019Updated 6 years ago
- This is a book in Romanian on algorithms and programming contest strategies. It is written in LaTeX and TikZ. The original dates from 199…☆10Mar 31, 2018Updated 8 years ago
- Highly scalable lockless multi-threaded C11 Linux WebSocket server with backend app plugin API☆40Nov 27, 2023Updated 2 years ago
- VR world builder☆18Oct 11, 2020Updated 5 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.
- A C++ library for importing Krita's KRA & KRZ formatted documents.☆17Feb 15, 2026Updated 4 months ago
- VKCapture with KMSGrab included☆12Sep 9, 2024Updated last year
- source for OS/VS2☆14May 16, 2026Updated last month
- 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
- Semi-interactive examples for batteries☆20Dec 5, 2023Updated 2 years ago
- 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.
- Voice Recognition using FPGA-Based Neural Networks☆15Jul 6, 2016Updated 9 years ago
- DEC PDP-11 object file translator / linker☆14Sep 13, 2025Updated 9 months ago
- Fonts for the Klingon pIqaD writing system☆11Feb 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
- A flying and bombing game☆13Nov 16, 2021Updated 4 years ago
- 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
- SQLite bindings for Lean☆45Jun 8, 2026Updated last week
- 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.
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- Cache Oblivious Lookahead Arrays☆27Jul 20, 2013Updated 12 years ago
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 6 years ago
- This is retrospective of the formerly popular game "LAND". It was originally developed by ASP corp. in 1986 and ran under PDP-11 compatib…☆30Oct 31, 2017Updated 8 years ago
- simply-scheme language bindings for Racket☆16Feb 23, 2022Updated 4 years ago
- Formalization of type theory☆22Jul 5, 2021Updated 4 years ago
- A teminal othello (reversi) in Nim.☆11May 2, 2021Updated 5 years ago
- EasySeats multiseat GUI configuration tool executables☆12Sep 5, 2020Updated 5 years ago
- Manage Proton-GE in a simple way☆19Oct 3, 2024Updated last year
- 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.
- a simulation . of a vector display ! ya! (also a color crt tv mode)☆26Nov 12, 2024Updated last year
- Markdown translation tool.☆17Oct 17, 2022Updated 3 years ago
- Material from M1P1, formalised in Lean☆15Nov 2, 2019Updated 6 years ago
- My DotFiles☆18Jun 3, 2026Updated 2 weeks ago
- ☆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☆13Sep 29, 2023Updated 2 years ago