Björn Gohla's repositories
agda2hs
Compiling Agda code to readable Haskell
effect-monad
Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
ghc
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 the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
haddock
Haskell Documentation Tool
headscale
An open source, self-hosted implementation of the Tailscale control server
hlint
Haskell source code suggestions
HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
i3status
Generates status bar to use with i3bar, dzen2 or xmobar
nix
Nix, the purely functional package manager
openbsd-wip
OpenBSD work in progress ports
pdf2svg
A simple PDF to SVG converter using the Poppler and Cairo libraries
plfa.github.io
An introduction to programming language theory in Agda
ports
Public git conversion mirror of OpenBSD's official cvs ports repository. Pull requests not accepted - send diffs to the ports@ mailing list.
qftmath
Seminar on QFT for Mathematicians
singletons-lists-props
Propositions with proofs about Lists
spago
🍝 PureScript package manager and build tool powered by Dhall and package-sets
sphinx
Main repository for the Sphinx documentation builder
zfoh.ch
Our homepage