co-dan Goto Github PK

alfred-gsd

Get Stuff Done - Alfred version

alfred-teatimer

Simple timer workflow for Alfred 2

arduino-makefile

Makefile for Arduino sketches. It defines the workflows for compiling code, flashing it to Arduino and even communicating through Serial.

asl22

Web site for ASL 2022

autosubst

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]

bi-cutelim

Cut elimination for the logic of Bunched Implications (BI), and some extensions.

blogliterately

Command-line tool for formatting and publishing blog posts.

cats

Generate commutative diagrams inside of Pandoc with Tikz

ch2o

co-dan

what am i doing here?

co-dan.github.io

Website

company-coq

IDE extensions for Proof General's Coq mode

coq-alternative-facts

Coq for politicians

coqpl19-paper

A paper submitted to CoqPL 2019 workshop

diagrams-backend-tests

Some simple tests for diagrams

diagrams-doc

Documentation for the diagrams project

diagrams-lib

Diagrams standard library

diagrams-pgf

PGF backend diagrams

discotec.github.io

The website of DisCoTec - the International Federated Conference on Distributed Computing Techniques

dmlenu

a clone of dmenu written in OCaml.

emacs-config

Emacs and Org configuration files

emacs-theme-gruvbox

Gruvbox is a retro groove color scheme for Emacs. Port of the Vim version.

encode-decode

fish-site

The website for fishshell.com

frap

Formal Reasoning About Programs

ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Trac (http://hackage.haskell.org/trac/ghc) or sent to the mailing list ([email protected])

ghc-syb

Scrap Your Boilerplate instances for GHC's data types

ghcjs-jqueryui

jQuery-UI bindings for Haskell/GHCJS

graphviz-render

A simple Haskell/Scotty web service for rendering Graphviz documents

gsd.sh

A simple bash script to block access to time-wasting sites.