A self-hosting subset of git functionality in 500 lines
☆13Aug 27, 2018Updated 7 years ago
Alternatives and similar repositories for omit
Users that are interested in omit are comparing it to the libraries listed below
Sorting:
- Higher-order FRP compiler☆16Oct 20, 2021Updated 4 years ago
- Standard library for the Formality language☆18Mar 22, 2020Updated 5 years ago
- A micro-kernel operating system based on the Barrelfish CPU-driver.☆21Mar 6, 2018Updated 7 years ago
- Scheme on SECD☆43Feb 9, 2021Updated 5 years ago
- JHC Haskell compiler split into reusable components☆18Jan 10, 2026Updated last month
- Interactive Theorem Proving for students☆21Aug 26, 2023Updated 2 years ago
- ☆20Dec 23, 2021Updated 4 years ago
- A bare-bones LCF-style proof assistant☆25Aug 13, 2019Updated 6 years ago
- TrueLink Messenger - Secure, decentralized, spam-free communication.☆22Jan 28, 2015Updated 11 years ago
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Apr 25, 2018Updated 7 years ago
- Переклад українською hpmor.com. Згенерована html книжка тут: http://гпімр.укр/☆34May 17, 2020Updated 5 years ago
- Program logic for developing and verifying distributed systems☆36Feb 25, 2026Updated last week
- Reasonable Haskell default import☆27Sep 12, 2022Updated 3 years ago
- Application scaffold and batteries-included service implementations for Haskell☆26May 1, 2019Updated 6 years ago
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Feb 17, 2026Updated 2 weeks ago
- Compile PureScript into Haskell.☆68Nov 29, 2017Updated 8 years ago
- Morte IDE☆29Apr 3, 2025Updated 11 months ago
- N2O in Haskell☆29Apr 15, 2016Updated 9 years ago
- A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.☆33Jun 5, 2019Updated 6 years ago
- ALGT 2.0☆30Dec 23, 2019Updated 6 years ago
- Haskell Bazel rules and cabal2bazel import tool.☆42Apr 16, 2021Updated 4 years ago
- Conway's game of life in 100 lines or less!☆35Aug 10, 2017Updated 8 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Apr 4, 2022Updated 3 years ago
- Leave delicious breadcrumbs to make your errors easier to understand.☆37Mar 17, 2018Updated 7 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Teach people to lock their computers when unattended. Set the Background of their device to an embarassing image randomly scraped from th…☆10Apr 19, 2023Updated 2 years ago
- This is a translation of source code from SICP into SML/NJ.☆13Jun 2, 2010Updated 15 years ago
- 💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42,…☆11Feb 8, 2026Updated 3 weeks ago
- Some useful tools for mesh processing☆11Sep 9, 2025Updated 5 months ago
- Umbrella repository for the Jamoma platform☆32Nov 24, 2015Updated 10 years ago
- Source code of Serum official website☆11Jul 18, 2020Updated 5 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- An experimental test runner for LookML models.☆11Sep 17, 2021Updated 4 years ago
- A simple fuzzy matching set for python strings☆10Nov 25, 2024Updated last year
- A reactive notebook for Haskell☆53Updated this week
- Quantum-proof, 768-bit signatures for 1-bit messages☆12Mar 11, 2020Updated 5 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- ETL y servidor web para scrapear series de tiempo de Excels semi-estructurados y transformarlos en distribuciones de formato abierto, bas…☆10Sep 23, 2024Updated last year
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 6 years ago