cgohla Goto Github PK

agda2hs

Compiling Agda code to readable Haskell

bash

cgohla.github.io

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

obsd.nix

Nix expression for OpenBSD VMs

openbsd-wip

OpenBSD work in progress ports

pdf2svg

A simple PDF to SVG converter using the Poppler and Cairo libraries

pledge

Haskell API for OpenBSD pledge

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.

pureshell

A Bash backend for PureScript

qftmath

Seminar on QFT for Mathematicians

singletons-decide-instances

singletons-lists-props

Propositions with proofs about Lists

slides-template

spago

🍝 PureScript package manager and build tool powered by Dhall and package-sets

sphinx

Main repository for the Sphinx documentation builder

try-pledge-wai

zfoh.ch

Our homepage