Stars
For when people get too hyped up about things
A gently curated list of companies using Haskell in industry
Python script to filter vCard contacts with phone number.
It is my belief that you, the postgraduate students and job-seekers for whom the book is primarily meant will benefit from reading it; however, it is my hope that even the most experienced research…
Pympress is a simple yet powerful PDF reader designed for dual-screen presentations
Execute a local command using the processing power of another Linux machine.
This provides basic replication materials for the Dutch Polling Indicator (Peilingwijzer).
Browserpass web extension
A modern desktop interface for Linux. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate win…
Tutorial on Hledger setup with multi-year files, multi-source imports and a range of auto-generated reports
An hledger/ledger-cli workflow focusing on automated statement import and classification
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
The slightly more awesome standard unix password manager for teams
Call Haskell functions from any programming language via serialization and dynamic libraries
Legacy Browserpass repo, development is now happening at:
Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.
Coq with native compilation, as well as machine integers and arrays !
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
👾 Importi.fy — it's like Uber, but for Haskell modules.
A presenter console with multi-monitor support for PDF files.
HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)
Incubator for a general Unix Device Memory Allocation library