☆38Mar 8, 2024Updated 2 years ago
Alternatives and similar repositories for lpedit
Users that are interested in lpedit 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 list reordering component for Halogen. Named by @justinwoo. (GitHub suggested "verbose-chainsaw".)☆15Aug 16, 2019Updated 6 years ago
- Content-addressed identifiers in OCaml☆16Mar 23, 2023Updated 3 years ago
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- NeoGeo FPGA☆12Jul 20, 2025Updated 9 months ago
- ☆16Jun 9, 2024Updated last year
- 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.
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated 3 months ago
- A server for the forester tool☆19Dec 10, 2024Updated last year
- Request-Response ortiented communication for websockets with Primus.☆26Feb 1, 2024Updated 2 years ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆17Dec 8, 2023Updated 2 years ago
- Source code for 'Expert .NET 2.0 IL Assembler' by Serge Lidin☆17Mar 29, 2017Updated 9 years ago
- 📚 A library for managing libraries and resolving unit paths☆17Apr 6, 2026Updated last month
- String diagrams in LaTeX.☆17Feb 26, 2024Updated 2 years ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Jan 23, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Portable implementation of the Irmin Watch API☆15Apr 24, 2026Updated 2 weeks ago
- ☆17Apr 4, 2024Updated 2 years ago
- ML's radishal Universal Levenshtein Automata library.☆13Jan 5, 2022Updated 4 years ago
- Define your Dream router with Routes☆19Jul 2, 2025Updated 10 months ago
- Random Access Zipper in OCaml☆14Dec 8, 2016Updated 9 years ago
- neovim plugin for OCaml development☆15Feb 15, 2026Updated 2 months ago
- Organize mathematical thoughts☆20Oct 6, 2023Updated 2 years ago
- Terminal manipulation library in pure Ocaml. Make text-based terminal applications with ease☆11Mar 29, 2024Updated 2 years ago
- Xccessors (cross-browser accessors) is a JavaScript shim that implements the legacy or standard methods for defining and looking up acces…☆38Oct 15, 2015Updated 10 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.
- Self-adjusting computations☆23Oct 9, 2023Updated 2 years ago
- SPAKE2+EE implementation in OCaml☆17Oct 13, 2025Updated 6 months ago
- Publish annotated bibliographies☆24Mar 20, 2026Updated last month
- ☆18May 21, 2019Updated 6 years ago
- A Nunjucks shortcode to optimize Google Fonts. This shortcode download and inline Google Font's CSS.☆21Oct 17, 2021Updated 4 years ago
- An ocaml library for manipulating diffs.☆19Feb 12, 2024Updated 2 years ago
- ☆23May 25, 2025Updated 11 months ago
- A type theory for tiny objects☆19Mar 6, 2026Updated 2 months ago
- VSCode support for Forester☆22Nov 17, 2025Updated 5 months 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.
- fuzzy string searching, using Levenshtein automaton. Can be used for spell-checking.☆26Apr 2, 2025Updated last year
- An implementation of "A Pretty Expressive Printer" in OCaml☆26Mar 13, 2024Updated 2 years ago
- A balanced binary search tree library for OCaml☆24Nov 27, 2025Updated 5 months ago
- ☆25Mar 15, 2026Updated last month
- 帶你探索 functional programming☆26Feb 7, 2024Updated 2 years ago
- A collaborative structural editor for structured rich document with VIM-like keybindings☆18Dec 5, 2019Updated 6 years ago
- Menhir polishing toolbox, for experienced druids☆40Apr 7, 2026Updated last month