OCaml rewrite of GNU coreutils
☆19Jul 28, 2022Updated 4 years ago
Alternatives and similar repositories for ocaml-coreutils
Users that are interested in ocaml-coreutils are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🤖📚 Telegram bot to convert and email PDFs, EPUBs or MOBIs to your Kindle☆11Sep 16, 2022Updated 4 years ago
- A human-first, local-first library for saving and synchronizing useful links.☆14Updated this week
- Github Gists from the command line. On MAC OSX, it (will be) an Alfred Workflow!☆11Dec 20, 2020Updated 5 years ago
- A new take on facet-reflect☆14Updated this week
- High-fidelity Google Docs exporter to plain HTML+CSS☆34Sep 21, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Arcan Workbench, Desktop- like script for Arcan [INACTIVE]☆10Jul 1, 2017Updated 9 years ago
- A set of tools for Coq written in Rust☆14Dec 4, 2017Updated 8 years ago
- A searchable repository of my personal notes from readings☆18Jul 21, 2022Updated 4 years ago
- A low-level, C, stream-based, asynchronous 9P implementation☆12Jan 23, 2014Updated 12 years ago
- Demystifying the magic of supertactics☆13Nov 2, 2021Updated 5 years ago
- Rational R1000/s400 emulator (second iteration)☆12Mar 25, 2026Updated 7 months ago
- ed(1) is the standard editor☆10Apr 24, 2019Updated 7 years ago
- This is the mirror of Plan 9 with applied 9legacy stable+9k patches.☆13Sep 23, 2026Updated last month
- Proving crash safety for systems with layered recovery☆16Apr 1, 2026Updated 7 months 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.
- Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]☆12Aug 11, 2024Updated 2 years ago
- Linux fork of FreeBSD crunch☆17Jan 30, 2012Updated 14 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 5 years ago
- a flake to aggregate pure nix libs which do not depend on nixpkgs [maintainer=@Artturin]☆14Oct 25, 2026Updated last week
- Minimalist-lisp interpreter implementation for UNIX-like systems.☆12Mar 14, 2015Updated 11 years ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- statically linked package installer☆12Jul 12, 2026Updated 3 months ago
- 9P kernel modules☆10Aug 25, 2014Updated 12 years ago
- Valence screens port to ratatui☆16Jun 24, 2025Updated last year
- 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.
- [փ] Varvara/⋃⨉⋂ Tal OS.☆14Nov 28, 2025Updated 11 months ago
- A secure utmp/wtmp implementation☆20Jul 14, 2026Updated 3 months ago
- Strip 64bit elf binaries aggressively☆13Aug 5, 2021Updated 5 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated 2 years ago
- Incorporates a complete vulkan init and renderer, single header lib.☆13Apr 22, 2020Updated 6 years ago
- A minimal sandboxing tool☆13Jan 13, 2021Updated 5 years ago
- A simple, independent library implementing a promise mechanism for asynchronous operations☆12May 18, 2026Updated 5 months ago
- ☆15May 28, 2025Updated last year
- Really Weird Shell - shell based around Structral Regular Expressions - mirror repo☆15Aug 2, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A substitution of systemd-tmpfiles☆13May 16, 2025Updated last year
- ☆12Sep 18, 2019Updated 7 years ago
- Next generation of the KISS Package manager☆13Jan 29, 2026Updated 9 months ago
- regexes for trees; grep for s-exprs☆18Jul 22, 2026Updated 3 months ago
- First-order automated theorem prover based on the tableau method☆19Jul 8, 2026Updated 3 months ago
- Kakoune integration with the plan9port plumber☆12May 24, 2021Updated 5 years ago
- My river configuration☆13May 26, 2025Updated last year