A Modern CompSci Curriculum
☆300May 23, 2026Updated 3 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
- Here we collect worldwide courses teaching formal methods☆50Jul 5, 2019Updated 7 years ago
- Programming curricula☆7,184Jan 3, 2026Updated 8 months ago
- Workshop made for freecodecamp meetup☆12Apr 7, 2018Updated 8 years ago
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 4 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.
- Simple implementation of KZG commitments in C☆14Nov 19, 2022Updated 3 years ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated 2 years ago
- Use `forge` and `cast` commands in Python scripts☆19Apr 3, 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.☆13Aug 8, 2022Updated 4 years ago
- little wrapper functions to load files in rust☆11Oct 6, 2017Updated 8 years ago
- hegel notes☆13Jan 22, 2023Updated 3 years ago
- A C library to play XM (and MOD) modules on Nintendo DS using only ARM7 resources☆17Jul 31, 2024Updated 2 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆30Jan 13, 2017Updated 9 years ago
- Collected source code to various old DOS raycaster-based FPSes.☆14Feb 23, 2017Updated 9 years ago
- Aheui interpreter in Javascript☆22Nov 20, 2016Updated 9 years ago
- The Pyret language.☆1,129Updated this week
- My study guide for SICP☆141May 4, 2020Updated 6 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
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 4 years ago
- Draco is a script to convert reddit thread to Org document☆10Aug 9, 2022Updated 4 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.
- BLISS-M compiler☆44Sep 15, 2024Updated last year
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 6 years ago
- A pure Elm text editor based on Martin Janiczek's demo☆47Dec 12, 2022Updated 3 years ago
- Aprendiendo Next.JS☆17May 21, 2018Updated 8 years ago
- Ethereum Foundation Cryptography Research Website☆52May 15, 2026Updated 3 months ago
- An Emacs major mode for creating anki cards☆49Dec 24, 2020Updated 5 years ago
- SICP Course☆230Sep 8, 2020Updated 5 years ago
- Well-designed, eye-friendly, dark blue color scheme☆27May 16, 2026Updated 3 months ago
- Generic Vector library for Solidity☆27Mar 21, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Zero Knowledge Proofs with Fiat-Shamir Heuristic in Solidity☆15Nov 25, 2024Updated last year
- A portable, embeddable implementation of the BASIC programming language.☆16Feb 21, 2013Updated 13 years ago
- Diff sexps based on Levenshtein-like edit distance☆10Mar 22, 2020Updated 6 years ago
- a type-writing training program on GNU Emacs☆21Oct 19, 2019Updated 6 years ago
- Wikipedia Infobox -> Elisp☆14Jan 1, 2026Updated 8 months ago
- Show completions buffer in child frame☆13Sep 13, 2022Updated 3 years ago
- (mirror) Emacs mode to indent, navigate around and act on indentation units: perfect for yaml, python and the like.☆15Jun 6, 2019Updated 7 years ago