notes I've made from books I've read, courses I've taken etc
β17Oct 7, 2025Updated 10 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:
- A small library to create custom optionsβ16Jul 8, 2025Updated last year
- π Create static websites with Next.js and the Podlite markup language.β12Updated this week
- β16Aug 7, 2022Updated 4 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β14Jul 22, 2026Updated 2 weeks 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.
- β14Nov 11, 2020Updated 5 years ago
- Code Examples for Data Science for Crime Analysis with Python bookβ10Jun 29, 2024Updated 2 years ago
- DefinitelyTyped documentation-generator source + gh-pagesβ12Jun 26, 2014Updated 12 years ago
- MUD/Telnet client written in Pikeβ18May 25, 2026Updated 2 months ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theoryβ15Oct 15, 2018Updated 7 years ago
- β10Nov 14, 2018Updated 7 years ago
- Org Social Relay is a P2P system that acts as an intermediary between all social.org filesβ15Jul 28, 2026Updated 2 weeks ago
- Digital Ocean Tutorials δΈδΈδΊζη« ηηΏ»θ―οΌδΈ»θ¦δΈΊθΏη»΄ηΈε ³γhttps://www.digitalocean.com/community/tutorialsβ12Jun 6, 2016Updated 10 years ago
- BPE Tokenizer implementations in C# for Anthropic, OpenAI LLM offeringsβ14Oct 5, 2023Updated 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.
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.β16Apr 3, 2023Updated 3 years ago
- Content-based search for Elfeed.β14Oct 4, 2025Updated 10 months ago
- Racket-inspired iteration and sequence forms for Elispβ17Apr 17, 2026Updated 3 months ago
- A Common Lisp domain for sphinx mirror https://sr.ht/~rsl/sphinxcontrib-cldomain/β15Jan 18, 2023Updated 3 years ago
- Type Inference Prototyping Engine from Relational specifications of type systemsβ11Jun 24, 2020Updated 6 years ago
- A CMS that runs completely in your browser!β14May 6, 2021Updated 5 years ago
- Normalization-by-evaluation in miniKanrenβ25Feb 26, 2023Updated 3 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
- 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.
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating datβ¦β18Updated this week
- Docstring to Texinfo tool.β16May 10, 2023Updated 3 years ago
- Log your activity on Trakt.tvβ15Jul 28, 2026Updated 2 weeks ago
- A self-documenting GNU Emacs starter kit inspired after Bedrock and Doom. (rad:zecRiYjpjFnZWFhygfVM7shaCzJh)β16Jul 16, 2026Updated 3 weeks ago
- β19Dec 5, 2023Updated 2 years ago
- My emacs publishing blog system (tightly coupled to my org-roam setup) using org-mode.β10Dec 22, 2025Updated 7 months ago
- Validate untyped data and return well typed result.β21Oct 26, 2024Updated last year
- miniKanren in Pharoβ12Jun 10, 2024Updated 2 years ago
- Idris GraphQLβ17Dec 16, 2017Updated 8 years ago
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- convert MSBuild project files to C# pseudo-codeβ10Nov 17, 2024Updated last year
- Create attractive VASL scenarios, with loads of useful information embedded to assist with game play.β12Nov 22, 2022Updated 3 years ago
- window switcher for Microsoft Windowsβ13May 16, 2018Updated 8 years ago
- A generic property graph model and graph data flow framework (LINQ to graphs).β50Dec 8, 2015Updated 10 years ago
- A teaching aid library for formal languages and compiler coursesβ13May 5, 2026Updated 3 months ago
- Little Racket Interpreterβ16Mar 21, 2020Updated 6 years ago
- Achievements for emacs!β17Oct 28, 2016Updated 9 years ago