10,041
5,613
9,122
#
Project
Mentions
Stars
1
hledger
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
97
4,741
hledger
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
97
4,741
2
lask
A task runner with a small typed language: tasks run in pinned containers and are checked before anything executes.
2
3
lask
A task runner with a small typed language: tasks run in pinned containers and are checked before anything executes.
2
3
3
llmll
A programming language and verification pipeline for experiments in which AI agents write code under formal contracts: agents fill typed holes, and an SMT solver proves each body before it merges.
1
1
llmll
A programming language and verification pipeline for experiments in which AI agents write code under formal contracts: agents fill typed holes, and an SMT solver proves each body before it merges.
1
1
Popular Haskell Topics
Data
Web
Text
System
Networking
Math
Language
Database
Graphics
Testing
Unclassified
Game
Data structures
Utils
haskell-library
Compiler
Concurrency
Network
API
DevOps
Cryptography
Codec
Distribution
Servant
Parsing
