My personal study notes/TIL.
☆18Oct 26, 2026Updated last week
Alternatives and similar repositories for personal_notes
Users that are interested in personal_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:
- It's a long way ...☆11Aug 28, 2021Updated 5 years ago
- Sib is git-based (literally) llm client☆11Oct 5, 2026Updated last month
- ☆10Jan 11, 2019Updated 7 years ago
- An evolving collection of Oleg Kiselyov's Haskell modules (released with his permission). See the original articles at http://okmij.org/…☆13Jan 5, 2014Updated 12 years ago
- Mark Volkmann's blog using 11ty☆13Sep 20, 2026Updated last month
- 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.
- Search viki files for tasks and display them in a list☆15Dec 31, 2018Updated 7 years ago
- Grapheme aware string handling (Unicode tr29)☆11Sep 19, 2024Updated 2 years ago
- A minecraft mod that adds ore clusters embedded in bedrock, and a machine to extract them automatically.☆12Updated this week
- A programming language with first-class modules and algebraic effects.☆15Dec 3, 2022Updated 3 years ago
- A table library for Idris 2☆16Oct 25, 2022Updated 4 years ago
- College assignment writing in which I ramble about type classes and dependent types.☆12Dec 11, 2020Updated 5 years ago
- A script to download modpacks from Minecraft CurseForge and create MultiMC instances for them.☆12Feb 26, 2018Updated 8 years ago
- A simple diary using Git as its backend☆19Nov 14, 2024Updated last year
- Support code for talk 'XXIst century shall be typed or not be'☆16Oct 21, 2022Updated 4 years 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.
- Idris Version Manager☆17Feb 23, 2025Updated last year
- http://www.radare.org/☆16Oct 9, 2026Updated 3 weeks ago
- TaPL implementation bits in Idris2☆17Feb 27, 2022Updated 4 years ago
- ☆13Jul 23, 2026Updated 3 months ago
- A strategy board game similar to Chess.☆15Oct 24, 2021Updated 5 years ago
- Reference implementation of using opensource tools to re-map function keys on macOS keyboard. Also provides ability to run shell scripts …☆11Sep 5, 2024Updated 2 years ago
- Static analyzer for dynamics of Automata Networks☆13Feb 3, 2021Updated 5 years ago
- From pixels to symbolic rule learning☆13Nov 12, 2021Updated 4 years ago
- implementation deriving for idris2☆14Feb 21, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- simple, fast, and slick non-disturbing buffer list☆23Jan 13, 2023Updated 3 years ago
- ☆16Jul 1, 2025Updated last year
- This used to be a mirror. Check out the new official repo. Let me know if you still need this.☆21Oct 17, 2020Updated 6 years ago
- A reasonably fast markup semantic search tool☆24Jul 27, 2026Updated 3 months ago
- Dotfiles for macOS, Linux (Arch, Debian, Ubuntu) and my Synology NAS☆11Oct 25, 2026Updated last week
- Extreme inline text compression for HTML / JS. A custom pipeline that generates stand-alone HTML or JS files which embed competitively co…☆19Jan 12, 2025Updated last year
- Fix for creating macOS High Sierra VMs using VMware Fusion 8.x☆13Jun 8, 2017Updated 9 years ago
- summaries and cheatsheets from my studies at ETH Zürich☆14Aug 10, 2026Updated 2 months ago
- Unicode normalization forms (tr15) in linear time☆23Aug 24, 2026Updated 2 months 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.
- Research compiler based on algorithmic skeletons☆23Oct 18, 2014Updated 12 years ago
- libc and tools for creating size-optimized, statically linked Linux i386 and i686 programs☆28Jul 17, 2026Updated 3 months ago
- Tim does dotfiles☆20Dec 19, 2025Updated 10 months ago
- Automation tool for uploading Modpacks to CurseForge.☆18Jan 20, 2026Updated 9 months ago
- A text compressor based on the PAQ architecture.☆22Jun 13, 2026Updated 4 months ago
- Reeddit for Mac - minimal, elastic Reddit reader client☆14Oct 1, 2020Updated 6 years ago
- Repository for mod versioning information.☆18Jun 7, 2024Updated 2 years ago