A Modern CompSci Curriculum
☆301Jan 21, 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:
- Robotics Learning Note☆11Jun 22, 2018Updated 7 years ago
- AnkiConnect API for Emacs☆13Apr 14, 2025Updated last year
- REST Microservice☆36Jan 20, 2017Updated 9 years ago
- [EMNLP 2023] Official implementation of the algorithm ETSC: Exact Toeplitz-to-SSM Conversion our EMNLP 2023 paper - Accelerating Toeplitz…☆14Oct 17, 2023Updated 2 years ago
- Links and resources to everything I am looking to study sometime in the future...☆11May 3, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Georgeo is a geocoding service, made with node-geocoder and OpenStreetMap APIs. It's goal is to provide free geocoding services for every…☆41May 8, 2017Updated 8 years ago
- Here we collect worldwide courses teaching formal methods☆44Jul 5, 2019Updated 6 years ago
- Awesome list for High Performance Computing / Parallel Computing resources.☆12Sep 20, 2017Updated 8 years ago
- Programming curricula☆7,202Jan 3, 2026Updated 3 months ago
- Workshop made for freecodecamp meetup☆12Apr 7, 2018Updated 8 years ago
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 3 years ago
- My study guide for SICP☆140May 4, 2020Updated 5 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
- 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.
- The Pyret language.☆1,123Apr 6, 2026Updated last week
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Jan 13, 2017Updated 9 years ago
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- ☆18Mar 28, 2023Updated 3 years ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 4 years ago
- BLISS-M compiler☆42Sep 15, 2024Updated last year
- Collapsing Towers of Interpreters☆93Jun 21, 2025Updated 9 months ago
- emacs minor mode for editing ascii uml sequence diagrams☆26Jan 30, 2020Updated 6 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 5 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.
- Analyse the writing style, word use and readability of prose in Emacs.☆27May 30, 2023Updated 2 years ago
- Rust SDK for Rigetti Quantum Cloud Services (QCS)☆14Apr 1, 2026Updated 2 weeks ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 years ago
- Obsolete☆14Mar 7, 2023Updated 3 years ago
- Manage and track multiple shells in Emacs buffers.☆12Jan 7, 2026Updated 3 months ago
- Generic Vector library for Solidity☆27Mar 21, 2022Updated 4 years ago
- An Emacs major mode for creating anki cards☆48Dec 24, 2020Updated 5 years ago
- A portable, embeddable implementation of the BASIC programming language.☆16Feb 21, 2013Updated 13 years ago
- Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.☆55Jan 31, 2022Updated 4 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.
- Diff sexps based on Levenshtein-like edit distance☆10Mar 22, 2020Updated 6 years ago
- Aheui interpreter in Javascript☆22Nov 20, 2016Updated 9 years ago
- Well-designed, eye-friendly, dark blue color scheme☆27Dec 30, 2025Updated 3 months ago
- Successor to PolyBoRi☆23Oct 1, 2025Updated 6 months ago
- Emacs JSON reformatting using jq☆16Feb 8, 2022Updated 4 years ago
- Aprendiendo Next.JS☆17May 21, 2018Updated 7 years ago
- Show completions buffer in child frame☆13Sep 13, 2022Updated 3 years ago