Tooling and API to identify, understand and deliver fast and accurate root cause analysis of build failures.

mold: A Modern Linker 🦠

https://hackage.haskell.org/package/select-rpms

A library for producing terminal plots.

Universal markup converter

Language Server for RPM spec files

Haskell implementation of LangChain

Tool to update fedora packages branches

A purely functional programming language with first class types

Don’t lose your secrets

The Lean version manager

AI Pair Programming in Emacs with Aider

A Unix shell and Lisp REPL, fused together

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Glasgow Haskell Compiler

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.

Lean 4 bindings to libcurl

LogJuicer extracts anomalies from log

Emacs major mode for Lean 4

Virtual Machine for the Web

fonts rendering and comparing

Haskell Stackage curator build tool

A "noDSL" approach to mixing shell scripting with Haskell programs using Template Haskell