notes I've made from books I've read, courses I've taken etc
☆17Oct 7, 2025Updated 9 months ago
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Basically listing out how to get some basic logistics out of the way☆277Jan 26, 2024Updated 2 years ago
- ☆18Aug 2, 2021Updated 4 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Mar 9, 2025Updated last year
- A small library to create custom options☆16Jul 8, 2025Updated last year
- My solutions to HackerRank problems☆11Sep 6, 2016Updated 9 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.
- A C & x86 version of the "Let's Build a Compiler" by Jack Crenshaw☆11Nov 30, 2018Updated 7 years ago
- Static site generator☆12Apr 6, 2025Updated last year
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- A framework in Org Mode to assist users in managing data that changes over time from web pages and web APIs.☆17Mar 22, 2026Updated 4 months ago
- My Emacs Config☆14Updated this week
- ☆14Nov 11, 2020Updated 5 years ago
- MUD/Telnet client written in Pike☆18May 25, 2026Updated last month
- Forth package manager for theForthNet☆14Apr 4, 2018Updated 8 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 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.
- ☆10Nov 14, 2018Updated 7 years ago
- Org Social Relay is a P2P system that acts as an intermediary between all social.org files☆16Updated this week
- SQLite extension library, written in Lua and C. Based on EAV/CR storage, implements most of data schema refactoring patterns and more☆17Dec 26, 2020Updated 5 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago
- A Common Lisp domain for sphinx mirror https://sr.ht/~rsl/sphinxcontrib-cldomain/☆15Jan 18, 2023Updated 3 years ago
- A Language a Day☆14Nov 1, 2025Updated 8 months ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- [ICML DMLR 2024] Repo that contains code for the paper titled: "Class-Level Code Generation from Natural Language Using Iterative, Tool-E…☆18Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Darwin is a static blog generator written in Racket - forked from Frog☆18Oct 26, 2020Updated 5 years ago
- ACPI table hacking to fix suspend on GA503QR☆17Feb 2, 2022Updated 4 years ago
- Scala 3 Standard Library with bracket syntax.☆11Jul 10, 2021Updated 5 years ago
- Generate a Git Murder mystery☆14Jun 14, 2024Updated 2 years ago
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆18Updated this week
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆12Jun 15, 2014Updated 12 years ago
- Easy JSON formats for any case classes, for Scala, ScalaJS and Scala Native☆11Sep 12, 2018Updated 7 years ago
- Validate untyped data and return well typed result.☆21Oct 26, 2024Updated last year
- miniKanren in Pharo☆12Jun 10, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆18Aug 20, 2019Updated 6 years ago
- Idris GraphQL☆17Dec 16, 2017Updated 8 years ago
- convert MSBuild project files to C# pseudo-code☆10Nov 17, 2024Updated last year
- GNU Emacs teco-in-elisp interpreter☆18Aug 1, 2020Updated 5 years ago
- Create attractive VASL scenarios, with loads of useful information embedded to assist with game play.☆12Nov 22, 2022Updated 3 years ago
- Emacs parser research☆15Sep 18, 2014Updated 11 years ago
- Official MagnitudeCMS repository. The Ruby CMS built on Merb & CouchDB☆20Oct 22, 2012Updated 13 years ago