johannesgerer / buchhaltungView external linksLinks
Smart tools for the ledger universe
☆103Nov 24, 2019Updated 6 years ago
Alternatives and similar repositories for buchhaltung
Users that are interested in buchhaltung are comparing it to the libraries listed below
Sorting:
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- Term Rewriting Systems☆17Nov 7, 2015Updated 10 years ago
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 5 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Jun 13, 2017Updated 8 years ago
- SPAKE2 key exchange protocol for Haskell☆14May 24, 2023Updated 2 years ago
- A Zookeeper backend for Cloud Haskell.☆13Sep 9, 2017Updated 8 years ago
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Aug 22, 2024Updated last year
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Jan 14, 2019Updated 7 years ago
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Jun 18, 2021Updated 4 years ago
- A small tool to visualise my hledger journal. Your mileage may vary.☆28Aug 6, 2017Updated 8 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Aug 23, 2021Updated 4 years ago
- Integration of the Warp webserver with Let's Encrypt☆19Mar 7, 2017Updated 8 years ago
- haskell prof file CLI/Curses tool☆32May 2, 2017Updated 8 years ago
- Simple extensible product☆36Dec 1, 2020Updated 5 years ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 12 years ago
- A Pandoc filter for emphasizing code in fenced blocks☆29Jul 8, 2023Updated 2 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 6 years ago
- A tool for downloading transactions from FinTS banking APIs and sorting them into a ledger journal☆30Dec 22, 2025Updated last month
- An accounting tool inspired by beancount and ledger☆23Nov 28, 2020Updated 5 years ago
- Utilities I find useful while working on GHC (mirror of GitLab repo)☆24Feb 28, 2020Updated 5 years ago
- Type Theory with Indexed Equality☆26Apr 7, 2017Updated 8 years ago
- ☆12Apr 2, 2023Updated 2 years ago
- ☆12Feb 12, 2025Updated last year
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- ZeroMQ transport for distributed-process (aka Cloud Haskell)☆23Jun 7, 2016Updated 9 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- A Common Lisp text splitting library☆11May 29, 2024Updated last year
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- A collection of plugins and scripts that help automating bookkeeping with beancount☆75Aug 7, 2025Updated 6 months ago
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 8 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- No, no, no! Everything about the way you consume social media is wrong! Let me tell you about my bril—☆14Mar 4, 2024Updated last year
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago