A Modern CompSci Curriculum
☆300Jan 21, 2026Updated last month
Alternatives and similar repositories for curriculum
Users that are interested in curriculum are comparing it to the libraries listed below
Sorting:
- KeyTerms centralized terminology management tool☆13Feb 7, 2019Updated 7 years ago
- Here we collect worldwide courses teaching formal methods☆43Jul 5, 2019Updated 6 years ago
- A C library to play XM (and MOD) modules on Nintendo DS using only ARM7 resources☆17Jul 31, 2024Updated last year
- ☆11May 17, 2019Updated 6 years ago
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- Rust SDK for Rigetti Quantum Cloud Services (QCS)☆14Updated this week
- Automatic indentation mode for Emacs☆11Jan 12, 2026Updated last month
- emacs minor mode for editing ascii uml sequence diagrams☆26Jan 30, 2020Updated 6 years ago
- Draco is a script to convert reddit thread to Org document☆10Aug 9, 2022Updated 3 years ago
- OpenWorm Browser for iOS, based on the open-3d-viewer, which was based on Google Body Browser☆20Jan 20, 2026Updated last month
- Collected source code to various old DOS raycaster-based FPSes.☆14Feb 23, 2017Updated 9 years ago
- Wrap promises, never use .catch again☆25Jan 11, 2023Updated 3 years ago
- Diff sexps based on Levenshtein-like edit distance☆10Mar 22, 2020Updated 5 years ago
- My settings and scripts for the herbstluft windows manager☆16Aug 21, 2014Updated 11 years ago
- Manage and track multiple shells in Emacs buffers.☆12Jan 7, 2026Updated 2 months ago
- Use `forge` and `cast` commands in Python scripts☆19Apr 3, 2022Updated 3 years ago
- Elixir Mini Conf - 15 de Outubro de 2016 - São Paulo☆10Mar 16, 2016Updated 9 years ago
- Note taker and org-clock-in enforcer☆12Feb 14, 2019Updated 7 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Oct 9, 2019Updated 6 years ago
- Ultimate productivity boost for Vim.☆11Sep 14, 2016Updated 9 years ago
- A two-dimensional programming language from 1994.☆12Oct 2, 2016Updated 9 years ago
- A portable, embeddable implementation of the BASIC programming language.☆16Feb 21, 2013Updated 13 years ago
- Ignore backups, build files, et al. in Emacs☆16Jun 11, 2022Updated 3 years ago
- AnkiConnect API for Emacs☆13Apr 14, 2025Updated 10 months ago
- Multiple Backends for Emacs URL package☆13Feb 26, 2026Updated last week
- Attempt to find a brute-force solution to Tetris☆18May 29, 2022Updated 3 years ago
- Simple implementation of KZG commitments in C☆13Nov 19, 2022Updated 3 years ago
- Run, evaluate and compile functionality for a variety of different languages and modes.☆12Dec 18, 2025Updated 2 months ago
- Integrates the GPaste clipboard manager and Emacs' kill-ring☆13Oct 30, 2023Updated 2 years ago
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 3 years ago
- Emacs JSON reformatting using jq☆16Feb 8, 2022Updated 4 years ago
- Add @deffn support to the Texinfo Back-End☆13Mar 6, 2022Updated 4 years ago
- A collection of things I've read, things I'm reading, and things I want to read. Also contains some annotated papers.☆12Aug 8, 2022Updated 3 years ago
- Collapsing Towers of Interpreters☆93Jun 21, 2025Updated 8 months ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- Show completions buffer in child frame☆13Sep 13, 2022Updated 3 years ago
- :secret keyword for use-package☆13Jan 6, 2020Updated 6 years ago
- Enforce the number of blank lines between elements in an org-mode document☆18Mar 24, 2020Updated 5 years ago
- Treefactor for Emacs refactors prose and incrementally refiles☆17May 16, 2020Updated 5 years ago