co-dan

Groningen

Pinned Repositories

alfred-teatimer
Simple timer workflow for Alfred 2
Language:Ruby5 3 01
BI-cutelim
Cut elimination for the logic of Bunched Implications (BI), and some extensions.
Language:Coq2 3 01
graphviz-render
A simple Haskell/Scotty web service for rendering Graphviz documents
Language:HTML3 2 00
interactive-diagrams
Interactive-diagrams
Language:Haskell39 10 312
SeLoC
Strong non-interference for fine-grained concurrent programs
Language:Coq3 3 10
thesis
The Coq code for my PhD thesis
Language:Coq4 5 00
gitrees
guarded interaction trees
Language:Coq5 5 02
HITs-Examples
Examples of Higher Inductive Types
Language:Coq7 3 00
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq961 57 522174

co-dan's Repositories

co-dan/thesis
The Coq code for my PhD thesis
Language:Coq4 5 00
co-dan/SeLoC
Strong non-interference for fine-grained concurrent programs
Language:Coq3 3 10
co-dan/BI-cutelim
Cut elimination for the logic of Bunched Implications (BI), and some extensions.
Language:Coq2 3 01
co-dan/ocaml-wiringpi
Binding to the WiringPi library
Language:OCaml2 3 00
co-dan/co-dan
what am i doing here?
1 3 0
co-dan/coq-alternative-facts
Coq for politicians
Language:Coq1 2 0
co-dan/Arduino-Makefile
Makefile for Arduino sketches. It defines the workflows for compiling code, flashing it to Arduino and even communicating through Serial.
Language:Makefile2 0
co-dan/asl22
Web site for ASL 2022
1 0
co-dan/autosubst
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
Language:Coq2 0
co-dan/CoqPL19-paper
A paper submitted to CoqPL 2019 workshop
Language:TeX2 0
co-dan/discotec.github.io
The website of DisCoTec - the International Federated Conference on Distributed Computing Techniques
Language:HTML1 0
co-dan/dmlenu
a clone of dmenu written in OCaml.
Language:OCaml2 0
co-dan/emacs-theme-gruvbox
Gruvbox is a retro groove color scheme for Emacs. Port of the Vim version.
Language:Emacs Lisp1 0
co-dan/fitch-proof
This is a validator of Fitch style natural deduction proofs.
Language:Rust
co-dan/guix-packages
Guix channel
Language:Scheme3 1
co-dan/iris-project
Language:HTML3 0
co-dan/itis
Warn about uses of "it's" in a latex file.
Language:OCaml2 0
co-dan/nmvdw.github.io
Language:HTML1 0
co-dan/notes-on-realizability
Lecture notes on realizability
Language:TeX1 0
co-dan/ocaml.org
Implementation of the ocaml.org website.
Language:OCaml2 0
co-dan/persephone
macOS MPD client written in Swift.
Language:Swift1 0
co-dan/plzoo
Programming Languages Zoo
Language:OCaml2 0
co-dan/qmk-holykeebs
qmk for for the holykeebs keyboards
Language:C
co-dan/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Language:C1 0
co-dan/splitkb-vial-qmk
upstream: https://github.com/splitkb/vial-qmk/
Language:C2 0
co-dan/SPP
Language:Erlang1 0
co-dan/technikable-zmk-config
ZMK Config for Technikable
Language:CMake1 0
co-dan/TIC-80
My repository for TIC-80 with patches for Guile interop
Language:C2 0
co-dan/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq3 0
co-dan/vial-qmk
QMK fork with Vial-specific features.
Language:C1 0