A Modern CompSci Curriculum
☆300May 23, 2026Updated 2 months ago
Alternatives and similar repositories for curriculum
Users that are interested in curriculum are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AnkiConnect API for Emacs☆14Apr 14, 2025Updated last year
- Note taker and org-clock-in enforcer☆13Feb 14, 2019Updated 7 years ago
- Here we collect worldwide courses teaching formal methods☆50Jul 5, 2019Updated 7 years ago
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 4 years ago
- Simple implementation of KZG commitments in C☆14Nov 19, 2022Updated 3 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.
- A collection of things I've read, things I'm reading, and things I want to read. Also contains some annotated papers.☆13Aug 8, 2022Updated 4 years ago
- A C library to play XM (and MOD) modules on Nintendo DS using only ARM7 resources☆17Jul 31, 2024Updated 2 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Oct 9, 2019Updated 6 years ago
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- Charlas para freeCodeCamp Buenos Aires☆10Jul 9, 2019Updated 7 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆30Jan 13, 2017Updated 9 years ago
- Analyse the writing style, word use and readability of prose in Emacs.☆27May 30, 2023Updated 3 years ago
- Obsolete☆14Mar 7, 2023Updated 3 years ago
- Aheui interpreter in Javascript☆22Nov 20, 2016Updated 9 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.
- The Pyret language.☆1,130Updated this week
- ☆18Mar 28, 2023Updated 3 years ago
- A customizable implementation of http://hackertyper.com in emacs.☆28Feb 6, 2017Updated 9 years ago
- 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 4 years ago
- Collapsing Towers of Interpreters☆94Jun 21, 2025Updated last year
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 6 years ago
- Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.☆56Jan 31, 2022Updated 4 years ago
- Manage and track multiple shells in Emacs buffers.☆12Jan 7, 2026Updated 7 months 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.
- Generic Vector library for Solidity☆27Mar 21, 2022Updated 4 years ago
- Barebones Solidity smart contract fuzzer☆97Jul 20, 2022Updated 4 years ago
- A portable, embeddable implementation of the BASIC programming language.☆16Feb 21, 2013Updated 13 years ago
- Zero Knowledge Proofs with Fiat-Shamir Heuristic in Solidity☆15Nov 25, 2024Updated last year
- Apply a custom theme to current Emacs buffer only☆10Feb 18, 2026Updated 6 months ago
- Креш-курс по Lisp☆17Sep 19, 2016Updated 9 years ago
- A two-dimensional programming language from 1994.☆12Oct 2, 2016Updated 9 years ago
- Primitive Replicating Market Maker smart contracts☆131Jul 23, 2024Updated 2 years ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆27Oct 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.
- Run, evaluate and compile functionality for a variety of different languages and modes.☆12Jul 24, 2026Updated 3 weeks ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆19Aug 19, 2024Updated last year
- :secret keyword for use-package☆13Jan 6, 2020Updated 6 years ago
- A fancy mode line indicator for `flycheck-mode'☆12Mar 31, 2020Updated 6 years ago
- Multiple Backends for Emacs URL package☆13Aug 8, 2026Updated last week
- Exercises and notes from the Coursera Machine Learning Course by Andrew Ng.☆18Oct 14, 2018Updated 7 years ago
- La página de freeCodeCamp BA, con toda la info y links que necesitás.☆13Jun 10, 2023Updated 3 years ago