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:
- π Create static websites with Next.js and the Podlite markup language.β13Updated this week
- Static site generatorβ12Apr 6, 2025Updated last year
- β16Aug 7, 2022Updated 4 years ago
- β11Apr 10, 2024Updated 2 years ago
- My Emacs Configβ14Updated this week
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- β14Nov 11, 2020Updated 5 years ago
- Recursive descent parser for Emacs Lispβ18Sep 29, 2012Updated 13 years ago
- AppOptics APM Instrumentation Agent for Node.jsβ11Sep 3, 2024Updated last year
- DefinitelyTyped documentation-generator source + gh-pagesβ12Jun 26, 2014Updated 12 years ago
- 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
- β10Nov 14, 2018Updated 7 years ago
- Digital Ocean Tutorials δΈδΈδΊζη« ηηΏ»θ―οΌδΈ»θ¦δΈΊθΏη»΄ηΈε ³γhttps://www.digitalocean.com/community/tutorialsβ12Jun 6, 2016Updated 10 years ago
- SQLite extension library, written in Lua and C. Based on EAV/CR storage, implements most of data schema refactoring patterns and moreβ18Dec 26, 2020Updated 5 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.
- ASP.NET MVC3, Razor, NuGet, SpecFlow ... I had to try it. This is a site that allows people to upload information about kanban-boardsβ14Aug 29, 2011Updated 15 years ago
- Yet another Scheme interpreter.β11Sep 17, 2022Updated 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 4 months ago
- A Common Lisp domain for sphinx mirror https://sr.ht/~rsl/sphinxcontrib-cldomain/β15Jan 18, 2023Updated 3 years ago
- tak is a benchmark thing π (or maybe just an excuse to collect all the languages)β14Oct 24, 2025Updated 10 months ago
- A Language a Dayβ14Nov 1, 2025Updated 9 months ago
- Type Inference Prototyping Engine from Relational specifications of type systemsβ11Jun 24, 2020Updated 6 years ago
- Darwin is a static blog generator written in Racket - forked from Frogβ18Oct 26, 2020Updated 5 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.
- Normalization-by-evaluation in miniKanrenβ25Feb 26, 2023Updated 3 years ago
- Scala 3 Standard Library with bracket syntax.β11Jul 10, 2021Updated 5 years ago
- An experiment in functionally-reactive Fluxβ13Apr 28, 2015Updated 11 years ago
- SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Nowβ13Mar 5, 2024Updated 2 years ago
- Dynamically add Constructable Stylesheets to your Stencil components.β10Jul 6, 2023Updated 3 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.β12Jun 15, 2014Updated 12 years ago
- Log your activity on Trakt.tvβ15Jul 28, 2026Updated last month
- A self-documenting GNU Emacs starter kit inspired after Bedrock and Doom. (rad:zecRiYjpjFnZWFhygfVM7shaCzJh)β16Jul 16, 2026Updated last month
- β19Dec 5, 2023Updated 2 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.
- My emacs publishing blog system (tightly coupled to my org-roam setup) using org-mode.β10Dec 22, 2025Updated 8 months ago
- Validate untyped data and return well typed result.β21Oct 26, 2024Updated last year
- β18Aug 20, 2019Updated 7 years ago
- A stack-based language implemented in RISC-V assemblyβ17Apr 4, 2024Updated 2 years ago
- window switcher for Microsoft Windowsβ13May 16, 2018Updated 8 years ago
- Emacs parser researchβ15Sep 18, 2014Updated 11 years ago
- A generic property graph model and graph data flow framework (LINQ to graphs).β50Dec 8, 2015Updated 10 years ago