Giters
Daniel Frumin (co-dan)

co-dan

Geek Repo

93

followers

100

following

352

stars

Location:Groningen

Github PK Tool:Github PK Tool

Organizations
FundamentalComputing
ghcjs
UniMath

Daniel Frumin's starred repositories

AutoEq

Automatic headphone equalization from frequency responses

Language:PythonLicense:MITStargazers:13229Issues:185Issues:757

crkbd

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

Language:MakefileLicense:CC-BY-4.0Stargazers:5450Issues:100Issues:157

homebrew-emacsmacport

Emacs mac port formulae for the Homebrew package manager

Language:RubyLicense:BSD-2-ClauseStargazers:1672Issues:70Issues:291

tikzit

pgf/TikZ diagram editor

Language:C++License:GPL-3.0Stargazers:1132Issues:25Issues:155

category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

Language:CoqLicense:BSD-3-ClauseStargazers:748Issues:20Issues:19

KLP-Lame-Keycaps

Sculpted and curved keycaps for Kailh Choc and MX switches

Stargazers:700Issues:15Issues:12

alfred-search-notes-app

Use Alfred to quickly open notes in iCloud/Apple Notes.

Language:GoLicense:MITStargazers:522Issues:17Issues:76

Dilemma

Language:RoffLicense:NOASSERTIONStargazers:442Issues:11Issues:30

andromeda

A proof assistant for general type theories

Language:OCamlLicense:NOASSERTIONStargazers:297Issues:22Issues:197

persephone

macOS MPD client written in Swift.

Language:SwiftLicense:MITStargazers:219Issues:6Issues:40

gocap

List your dependencies capabilities and monitor if updates require more capabilities.

Language:GoLicense:GPL-3.0Stargazers:130Issues:2Issues:5

dodo

A graphical, hackable email client based on notmuch

Language:PythonLicense:GPL-3.0Stargazers:103Issues:6Issues:23

Gillian

The Gillian Platform main repository

Language:OCamlLicense:BSD-3-ClauseStargazers:75Issues:8Issues:116

hyper

OCaml Web client, composable with Dream [unannounced]

Language:OCamlLicense:MITStargazers:68Issues:7Issues:9

disorder30

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

Language:CStargazers:57Issues:1Issues:2

ChonkyKong

60 key ortho keyboard with numpad and makro rows

Language:CLicense:CERN-OHL-P-2.0Stargazers:52Issues:2Issues:0

CT4P

Language:TeXLicense:CC-BY-SA-4.0Stargazers:31Issues:3Issues:13

http-lwt-client

A HTTP client using HTTP/AF and lwt

Language:OCamlLicense:NOASSERTIONStargazers:30Issues:5Issues:8

morg

Organize mathematical thoughts

Language:RacketLicense:MITStargazers:19Issues:3Issues:1

autosubst-ocaml

Language:CoqLicense:MITStargazers:12Issues:4Issues:5

Eunomia

An educational tool for analyzing the correctness of Fitch Proofs.

Language:JavaLicense:MITStargazers:9Issues:4Issues:47

RezkCompletion

The Rezk completion as a higher inductive types

Language:CoqStargazers:7Issues:1Issues:0

ll-coq

Some Coq formalizations of Linear Logic

Language:CoqLicense:WTFPLStargazers:7Issues:4Issues:0

IS5

Intuitionistic S5 logic formalization

Language:CoqStargazers:4Issues:1Issues:49

thesis-artifact

Collection of the sources that support my PhD thesis

Stargazers:3Issues:3Issues:0

TYPES-23

A formalisation of generalised containers in Cubical Agda

Language:AgdaStargazers:3Issues:1Issues:0

coq-defunctor

CEP62

Language:CoqStargazers:2Issues:2Issues:2

well-bracketed-logic

Language:CoqLicense:MITStargazers:2Issues:5Issues:0

second-order-logic

Language:CoqStargazers:2Issues:3Issues:0

Auger_LinearLogic

Linear Logic in Coq (by Auger)

Language:CoqStargazers:1Issues:0Issues:0