Skip to content
View co-dan's full-sized avatar

Organizations

@ghcjs @UniMath @FundamentalComputing

Block or report co-dan

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Starred repositories

Showing results

Formal, machine checked proofs

1 1 Updated Apr 10, 2025

LaTeX class for worksheets/homework assignments/exams.

TeX 2 Updated Feb 14, 2025

open_agb_firm is a bare metal app for running GBA homebrew/games using the 3DS builtin GBA hardware.

C 1,154 57 Updated Dec 16, 2025

A memory safe implementation of sudo and su.

Rust 4,145 141 Updated Dec 19, 2025

Insult users that mistype their password (quick prototype)

Shell 7 Updated Jan 14, 2025

A big QMK powered trackpad

271 11 Updated Feb 3, 2025

Probabilistic separation logics for verifying higher-order probabilistic programs.

Rocq Prover 30 8 Updated Dec 24, 2025

Sculpted and curved keycaps for Kailh Choc and MX switches

1,801 143 Updated Dec 19, 2025
Coq 3 Updated Jan 2, 2024

Organize mathematical thoughts

Racket 20 1 Updated Oct 6, 2023

60 key ortho keyboard with numpad and makro rows

C 55 6 Updated Apr 5, 2023

Use Alfred to quickly open notes in iCloud/Apple Notes. Written in Go and designed for speed.

Go 586 25 Updated Jan 15, 2025

An educational tool for analyzing the correctness of Fitch Proofs.

Java 9 Updated Sep 25, 2023

A formalisation of generalised containers in Cubical Agda.

Agda 3 Updated Nov 8, 2023
Roff 547 43 Updated Nov 19, 2025

Disorder30 - meme(ish) mechanical keyboard based on pro micro.

C 62 10 Updated May 17, 2023
TeX 36 15 Updated Oct 13, 2025

The Rezk completion as a higher inductive types

Coq 7 Updated Mar 25, 2025

Corne keyboard, a split keyboard with 3x6 column staggered keys and 3 thumb keys.

Makefile 7,074 1,074 Updated May 10, 2025

Intuitionistic S5 logic formalization

Coq 4 Updated Aug 6, 2013

macOS MPD client written in Swift.

Swift 230 18 Updated Dec 17, 2024

A HTTP client using HTTP/AF and lwt

OCaml 32 8 Updated Apr 3, 2025

Emacs mac port formulae for the Homebrew package manager

Ruby 1,747 133 Updated Jun 12, 2025

CEP62

Coq 2 Updated Mar 3, 2022

pgf/TikZ diagram editor

C++ 1,212 77 Updated Apr 17, 2024

OCaml Web client, composable with Dream [unannounced]

OCaml 70 5 Updated Apr 21, 2024

Linear Logic in Coq (by Auger)

Coq 1 Updated Mar 22, 2025

Some Coq formalizations of Linear Logic

Coq 7 3 Updated Sep 17, 2024

Automatic headphone equalization from frequency responses

Python 15,194 2,526 Updated Jul 20, 2025
Next