Ekdohibs

0 Followers · 0 Following

• Joined on 1995-05-04

Repositories

50

Projects Packages Code Public Activity Starred Repositories

Filter

Clear Filter

Archived Not Archived

Forked Not Forked

Mirrored Not Mirrored

Template Not Template

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

minetest

C++ 0 0

Updated 2022-06-15 12:39:39 -07:00

camlboot

OCaml 0 0

Updated 2022-04-16 03:07:39 -07:00

coq-proofs

Coq 0 0

Updated 2022-02-18 14:02:05 -08:00

zig

C 0 0

Updated 2020-12-05 18:46:08 -08:00

PolyGen

Coq 0 0

Updated 2020-10-07 02:13:37 -07:00

llama

OCaml 0 0

Updated 2019-07-30 10:00:54 -07:00

polybar-scripts

Shell 0 0

Updated 2019-05-16 11:30:39 -07:00

coq_hanoi

Coq 0 0

Updated 2019-02-20 08:57:51 -08:00

joujou

OCaml 0 0

Updated 2018-12-10 15:06:27 -08:00

toy-smt

OCaml 0 0

Updated 2018-11-07 00:47:34 -08:00

why3-toposort

TeX 0 0

Updated 2018-11-06 03:16:32 -08:00

netlist-simulator

OCaml 0 0

Updated 2018-02-15 01:26:44 -08:00

wires

Lua 0 0

Updated 2018-02-15 01:22:55 -08:00

autovideo

Python 0 0

Updated 2018-02-03 10:08:33 -08:00

foundations-of-proof-systems-project

Coq 0 0

Updated 2017-12-06 10:19:50 -08:00