Skip to content
View cgohla's full-sized avatar
4 followers · 2 following

Achievements

Achievement: QuickdrawAchievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report cgohla

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • ghc-proposals Public

    Forked from ghc-proposals/ghc-proposals

    Proposed compiler and language changes for GHC and GHC/Haskell

    Python Updated Jun 8, 2024

  • qftmath Public

    Forked from ruimp/qftmath

    Seminar on QFT for Mathematicians

    TeX Updated May 12, 2024

  • cgohla.github.io Public

    TeX 1 Updated Oct 24, 2023

  • hlint Public

    Forked from ndmitchell/hlint

    Haskell source code suggestions

    Haskell Other Updated Oct 9, 2023

  • pledge Public

    Haskell API for OpenBSD pledge

    Haskell 9 Updated Sep 13, 2023

  • obsd.nix Public

    Nix expression for OpenBSD VMs

    Nix 1 BSD 2-Clause "Simplified" License Updated Jun 15, 2023

  • zfoh.ch Public

    Forked from zfoh/zfoh.ch

    Our homepage

    JavaScript Other Updated Jun 7, 2023

  • try-pledge-wai Public

    Haskell BSD 2-Clause "Simplified" License Updated Apr 7, 2023

  • effect-monad Public

    Forked from dorchard/effect-monad

    Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.

    Haskell BSD 2-Clause "Simplified" License Updated Mar 13, 2023

  • plfa.github.io Public

    Forked from plfa/plfa.github.io

    An introduction to programming language theory in Agda

    Agda Creative Commons Attribution 4.0 International Updated Jan 17, 2023

  • pureshell Public

    A Bash backend for PureScript

    Haskell 20 MIT License Updated Jan 11, 2023

  • slides-template Public

    Forked from divarvel/slides-template
    HTML Updated Nov 11, 2022

  • headscale Public

    Forked from juanfont/headscale

    An open source, self-hosted implementation of the Tailscale control server

    Go BSD 3-Clause "New" or "Revised" License Updated Nov 3, 2022

  • agda2hs Public

    Forked from agda/agda2hs

    Compiling Agda code to readable Haskell

    Haskell MIT License Updated Oct 20, 2022

  • singletons-decide-instances Public

    Haskell Updated Aug 26, 2022

  • bash Public

    Forked from solidsnack/bash
    Haskell Updated Jul 26, 2022

  • singletons-lists-props Public

    Propositions with proofs about Lists

    Updated Jul 24, 2022

  • spago Public

    Forked from purescript/spago

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

    Haskell BSD 3-Clause "New" or "Revised" License Updated Feb 16, 2022

  • ghc Public

    Forked from ghc/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 th…

    Haskell Other Updated Jun 20, 2021

  • haddock Public

    Forked from haskell/haddock

    Haskell Documentation Tool

    HTML BSD 2-Clause "Simplified" License Updated Jun 20, 2021

  • HoTT-UF-Agda-Lecture-Notes Public

    Forked from martinescardo/HoTT-UF-Agda-Lecture-Notes

    Lecture notes on univalent foundations of mathematics with Agda

    Agda GNU General Public License v3.0 Updated Jun 19, 2021

  • nix Public

    Forked from NixOS/nix

    Nix, the purely functional package manager

    C++ GNU Lesser General Public License v2.1 Updated May 27, 2021

  • openbsd-wip Public

    Forked from jasperla/openbsd-wip

    OpenBSD work in progress ports

    C++ Updated May 27, 2021

  • ports Public

    Forked from openbsd/ports

    Public git conversion mirror of OpenBSD's official cvs ports repository. Pull requests not accepted - send diffs to the ports@ mailing list.

    Makefile Updated Jan 13, 2021

  • i3status Public

    Forked from i3/i3status

    Generates status bar to use with i3bar, dzen2 or xmobar

    C BSD 3-Clause "New" or "Revised" License Updated Jan 1, 2021

  • pdf2svg Public

    Forked from dawbarton/pdf2svg

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

    Shell GNU General Public License v2.0 Updated Jun 2, 2020

  • sphinx Public

    Forked from sphinx-doc/sphinx

    Main repository for the Sphinx documentation builder

    Python Other Updated Jun 16, 2019