Stars
A purely functional programming language with first class types
AI Pair Programming in Emacs with Aider
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
Management tool for virtualization and kubernetes platforms
The missing star history graph of GitHub repos - https://star-history.com
Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
A utility for displaying the module dependencies of Haskell programs.
Ellama is a tool for interacting with large language models from Emacs.
A "noDSL" approach to mixing shell scripting with Haskell programs using Template Haskell
Command-line tool to list Hackage reverse dependencies
Simple, elegant, Pythonic functional programming.
RamaLama is an open-source developer tool that simplifies the local serving of AI models from any source and facilitates their use for inference in production, all through the familiar language of …
A Git-compatible VCS that is both simple and powerful
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Tool for interactive command line environments on Linux