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:
- https://functionalcs.github.io/web/☆12Dec 19, 2020Updated 5 years ago
- Robotics Learning Note☆11Jun 22, 2018Updated 8 years ago
- AnkiConnect API for Emacs☆14Apr 14, 2025Updated last year
- Note taker and org-clock-in enforcer☆13Feb 14, 2019Updated 7 years ago
- Exploratory work on a minimal version of React☆11Jun 24, 2025Updated 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.
- Here we collect worldwide courses teaching formal methods☆48Jul 5, 2019Updated 7 years ago
- Awesome list for High Performance Computing / Parallel Computing resources.☆13Sep 20, 2017Updated 8 years ago
- Workshop made for freecodecamp meetup☆12Apr 7, 2018Updated 8 years ago
- Simple implementation of KZG commitments in C☆14Nov 19, 2022Updated 3 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 3 years ago
- A C library to play XM (and MOD) modules on Nintendo DS using only ARM7 resources☆17Jul 31, 2024Updated last year
- KeyTerms centralized terminology management tool☆13Feb 7, 2019Updated 7 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆30Jan 13, 2017Updated 9 years ago
- 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.
- Analyse the writing style, word use and readability of prose in Emacs.☆27May 30, 2023Updated 3 years ago
- "Easy" language compiler☆18Jun 16, 2026Updated last month
- Collected source code to various old DOS raycaster-based FPSes.☆14Feb 23, 2017Updated 9 years ago
- Obsolete☆14Mar 7, 2023Updated 3 years ago
- Aheui interpreter in Javascript☆22Nov 20, 2016Updated 9 years ago
- The Pyret language.☆1,131Updated this week
- ☆18Mar 28, 2023Updated 3 years ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 4 years ago
- emacs minor mode for editing ascii uml sequence diagrams☆26Jan 30, 2020Updated 6 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.
- Draco is a script to convert reddit thread to Org document☆10Aug 9, 2022Updated 3 years ago
- BLISS-M compiler☆43Sep 15, 2024Updated last year
- Aprendiendo Next.JS☆17May 21, 2018Updated 8 years ago
- Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.☆56Jan 31, 2022Updated 4 years ago
- Ethereum Foundation Cryptography Research Website☆55May 15, 2026Updated 2 months ago
- Manage and track multiple shells in Emacs buffers.☆12Jan 7, 2026Updated 6 months ago
- SICP Course☆230Sep 8, 2020Updated 5 years ago
- Well-designed, eye-friendly, dark blue color scheme☆27May 16, 2026Updated 2 months ago
- Generic Vector library for Solidity☆27Mar 21, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Barebones Solidity smart contract fuzzer☆96Jul 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
- Diff sexps based on Levenshtein-like edit distance☆10Mar 22, 2020Updated 6 years ago
- Successor to PolyBoRi☆23May 20, 2026Updated 2 months ago
- Emacs JSON reformatting using jq☆16Feb 8, 2022Updated 4 years ago
- a type-writing training program on GNU Emacs☆21Oct 19, 2019Updated 6 years ago