aedoq

Pinned Repositories

angular-components
Component infrastructure and Material Design components for Angular
Language:TypeScript0 0 00
anki
Anki for desktop computers
Language:Python0 1 00
darkreader
Dark Reader Chrome and Firefox extension
Language:TypeScript0 0 00
gesture-launcher
An Android launcher based on touch gestures
Language:Kotlin0 0 00
i3-scratchmenu
Language:Rust0 1 10
num-prime
Language:Rust0 0 00
coq
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 development of machine-checked proofs.
Language:OCaml4.8k 103 10k639
darkreader
Dark Reader Chrome and Firefox extension
Language:TypeScript19.4k 177 4.9k2.4k

aedoq's Repositories

aedoq/angular-components
Component infrastructure and Material Design components for Angular
Language:TypeScript0 0 00
aedoq/anki
Anki for desktop computers
Language:Python0 1 00
aedoq/darkreader
Dark Reader Chrome and Firefox extension
Language:TypeScript0 0 00
aedoq/gesture-launcher
An Android launcher based on touch gestures
Language:Kotlin0 0 00
aedoq/i3-scratchmenu
Language:Rust0 1 10
aedoq/num-prime
Language:Rust0 0 00