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
- ☆11Jun 29, 2018Updated 8 years ago
- ☆17Apr 17, 2025Updated last year
- deoplete.nvim source for Assembly base by google/EXEgesis☆11Jan 5, 2021Updated 5 years ago
- New changes are here: https://notabug.org/bfgeshka/awesome-c☆348Nov 28, 2020Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- This repository contains categorized multithreading problems in C++. Each example includes commented code and explanations to help unders…☆20Aug 26, 2025Updated 10 months ago
- Simplified logic programming language for Unity3D☆11Sep 6, 2020Updated 5 years ago
- Rust implementation of Peter Shirley's "Ray Tracing: The Rest Of Your Life"☆15Apr 22, 2026Updated 2 months ago
- The Georgia Tech Software Tools Subsystem and C Compiler for Prime Computers☆12Oct 4, 2019Updated 6 years ago
- source for OS/VS2☆14May 16, 2026Updated last month
- Stu Madnick's SOS operating system for the S/370☆17Feb 23, 2024Updated 2 years ago
- A C vector library similar to the C++ STL vector☆24Apr 20, 2025Updated last year
- 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
- 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.
- Voice Recognition using FPGA-Based Neural Networks☆16Jul 6, 2016Updated 10 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
- 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☆10Updated this week
- Web-based emulator and operating environment for the ElectroData/Burroughs Datatron 205 computer system.☆14Aug 22, 2022Updated 3 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- SQLite bindings for Lean☆46Jun 18, 2026Updated 2 weeks ago
- minimal mass file renamer☆12Jan 26, 2022Updated 4 years ago
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- Script to import data in the http://iommu.info database☆13May 11, 2025Updated last year
- ☆15Apr 1, 2026Updated 3 months ago
- Cache Oblivious Lookahead Arrays☆27Jul 20, 2013Updated 12 years ago
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 6 years ago
- A simple software rasterizer library for 3D meshes☆19Jun 22, 2026Updated 2 weeks ago
- Simulator of tube-based Soviet mainframe M-20☆18May 19, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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
- Formalization of type theory☆22Jul 5, 2021Updated 5 years ago
- LucasChess GUI with pyside6/64 bits python☆38Jun 26, 2026Updated last week
- EasySeats multiseat GUI configuration tool executables☆12Sep 5, 2020Updated 5 years ago
- Manage Proton-GE in a simple way☆19Oct 3, 2024Updated last year
- Lean 4 Metamath verifier☆24Dec 12, 2025Updated 6 months ago
- A video game to save cities☆16Oct 14, 2021Updated 4 years ago