User customizable Bash prompt

Better configuration for less

Control all your tooling from a single console

Blazing fast eix-like search tool for nixpkgs

Fedora (Haskell) container tool

An introduction to theorem proving in Lean for the impatient.

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