Popular repositories Loading

1. Zeno Zeno Public

   Forked from Gurmeet-Singh/Zeno

   Unofficial Zeno clone. Works with ghc-7.10.3 and stack

   Haskell

2. docker-emacs-org docker-emacs-org Public

   Mirror of https://gitlab.com/janmasrovira/docker-emacs-org

   Emacs Lisp

3. gen-veltman-semantics-aiml-2020 gen-veltman-semantics-aiml-2020 Public

   Generalised Veltman Semantics in Agda

   TeX

4. Tidal-Media-Downloader Tidal-Media-Downloader Public

   Forked from yaronzz/Tidal-Media-Downloader

   Download 'TIDAL' Music On Windows/Linux/MacOs (PYTHON/C#)

   Python

5. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

6. path-io path-io Public

   Forked from mrkkrp/path-io

   Operations on files and directories with typed paths

   Haskell