My home directory and package management stuff, inelegant as it may be
☆20Oct 24, 2026Updated last week
Alternatives and similar repositories for hejmo
Users that are interested in hejmo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- sample timetracker data for ledger☆35Feb 11, 2016Updated 10 years ago
- This repository is split into two sub sections. The Max Archive acts as a folder containing my various experimental patches that are not …☆11Aug 14, 2022Updated 4 years ago
- ☆12Oct 18, 2026Updated last week
- ffms2 bindings☆13Sep 15, 2026Updated last month
- ☆10Jan 11, 2019Updated 7 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.
- CLI tool for indexing local markdown files which can then be searched for using natural language queries; a duck duck go for your local f…☆12Apr 18, 2022Updated 4 years ago
- Compile time checks that a computation considers producing data through all possible constructors☆11Sep 19, 2019Updated 7 years ago
- Mark Volkmann's blog using 11ty☆13Sep 20, 2026Updated last month
- Stack-safe recursion schemes on dissectible data structures.☆14May 6, 2022Updated 4 years ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 11 months ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated 3 weeks ago
- Lazy Hacker Editor. Because nothing beats the eficiency of writing code already written. This is that kind of editor. Just for real hacke…☆10Dec 28, 2024Updated last year
- A Hindley-Milner type inference implementation in Prolog☆15Feb 9, 2015Updated 11 years ago
- A Mirror of http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai//☆13Nov 15, 2021Updated 4 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.
- An SSH agent written in Rust with more security features and sandboxing☆21Aug 31, 2025Updated last year
- Idris Version Manager☆17Feb 23, 2025Updated last year
- Experiment with synthetic domain theory in cubical agda☆16Nov 8, 2022Updated 3 years ago
- A programming language with first-class modules and algebraic effects.☆15Dec 3, 2022Updated 3 years ago
- ☆16May 14, 2026Updated 5 months ago
- A table library for Idris 2☆16Oct 25, 2022Updated 4 years ago
- ☆12Dec 4, 2021Updated 4 years ago
- transparent proxy for HTTP and HTTPS/TLS connections☆12Sep 7, 2026Updated last month
- List of distributions that can be bootstrapped from source☆17Oct 23, 2026Updated last week
- 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.
- Android client for Nextcloud Passwords, built using the latest and greatest technologies.☆11Nov 12, 2022Updated 3 years ago
- Idris 2 static web blog generator. More like proof of concept, everything could change, not sure if I will put more time into that but ge…☆12Oct 28, 2024Updated 2 years ago
- ☆11Apr 4, 2023Updated 3 years ago
- Bold is a v4-series NFS server written in async Rust based on Tokio.☆12Apr 7, 2026Updated 6 months ago
- Minimalistic livestreaming site☆13Oct 5, 2025Updated last year
- Verify naive = datafrog-opt, in rust/polonius☆17Jun 26, 2025Updated last year
- A 9Front file server for interacting with Philips Wiz light bulbs☆11Aug 17, 2025Updated last year
- Minimalistic package for handling Go errors in an easy way☆13Sep 6, 2026Updated last month
- TaPL implementation bits in Idris2☆17Feb 27, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- glib with a BSD license☆13Jul 31, 2021Updated 5 years ago
- discover information about upstream projects☆19Updated this week
- An APK parsing tool and library for Go☆15Nov 9, 2023Updated 2 years ago
- A spicy hardware description language with dependent types☆17Sep 25, 2022Updated 4 years ago
- From pixels to symbolic rule learning☆13Nov 12, 2021Updated 4 years ago
- ☆12Updated this week
- This patch is designed to jump start development in Gen through Max; anything you make that runs inside of this patch will run on the emb…☆12Jan 25, 2026Updated 9 months ago