A list of learning resources that I would like to refer back later or intent to study
☆20Feb 25, 2024Updated 2 years ago
Alternatives and similar repositories for learning
Users that are interested in learning are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Seven Languages in Seven Weeks book.☆16Jun 28, 2022Updated 3 years ago
- ☆20Mar 25, 2021Updated 5 years ago
- A boilerplate for creating new C++ projects.☆49May 12, 2025Updated last year
- Mini C Compiler☆23Jul 12, 2025Updated 10 months ago
- A C++ algorithm library that extends the C++ standard algorithms found in <algorithm> & <numeric>☆22Jun 21, 2021Updated 4 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.
- Solutions to Advent of Code 2021 in APL☆11Dec 1, 2022Updated 3 years ago
- An esoteric programming language where it's not what's in your lines that matters — it's where you break them.☆29Jun 12, 2020Updated 5 years ago
- Terrible Brainfuck to x64 compiler developed live in an hour☆11Jun 18, 2019Updated 6 years ago
- Working on simplifications of Nushell's grammar towards better parse-ability☆15Jun 21, 2023Updated 2 years ago
- High End Visualization (HEV) is a software environment for developing visualization applications in both desktop and immersive environmen…☆11Sep 18, 2019Updated 6 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆138Oct 29, 2022Updated 3 years ago
- ☆11Jun 12, 2024Updated last year
- Today at work we talked about...☆35Feb 24, 2026Updated 3 months ago
- A formalization of first-order logic and Peano's axioms in Python☆21Jun 21, 2025Updated 11 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- My Advent of Code solutions☆23Mar 31, 2026Updated last month
- ☆19Dec 12, 2023Updated 2 years ago
- Single-header library for console commands☆22Apr 5, 2025Updated last year
- Various mechanized proof files for fun.☆15Mar 31, 2026Updated last month
- old historical view of renderman.org AKA The RenderMan Repository☆18Jan 14, 2017Updated 9 years ago
- A lightweight macro-based coroutine / resumable / cooperative multitasking function utility designed for C++14 lambdas.☆38Aug 30, 2020Updated 5 years ago
- Custom C++ Vulkan Bindings☆16Nov 8, 2021Updated 4 years ago
- thread-local storage for OCaml☆18Jan 13, 2025Updated last year
- C++20 Coroutine-Based Synchronous Parser Combinator Library☆62Oct 21, 2021Updated 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.
- Framework for benchmarking on multiple cores on current-bench☆15Jun 14, 2025Updated 11 months ago
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 3 years ago
- A modern, functional-first, C inspired language, with a focus on simplicity.☆27Mar 1, 2025Updated last year
- Experimental parallel and concurrent OCaml☆15Jan 28, 2023Updated 3 years ago
- Game console emulator☆105Oct 1, 2018Updated 7 years ago
- ☆33Jan 17, 2023Updated 3 years ago
- A scheduler independent blocking mechanism☆20Feb 15, 2024Updated 2 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆168May 31, 2024Updated last year
- Formalization of CBPV extended with effect and coeffect tracking☆16Aug 30, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Scheduling examples using C++20 coroutines☆31May 13, 2023Updated 3 years ago
- A simple scene graph for OpenGL 3. Uses glm.☆20Feb 5, 2022Updated 4 years ago
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 4 years ago
- A draft design document / RFC describing the plan for incremental and "on-demand"☆14May 18, 2017Updated 9 years ago
- Server for Pragyan's Dalal Street☆75Mar 19, 2022Updated 4 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆16May 22, 2024Updated 2 years ago
- GPU accelerated monte carlo path tracer powered by vulkan☆20Jan 21, 2022Updated 4 years ago