Guest0x0

Pinned Repositories

coqoune
CoqIDE-like experience for kakoune
Language:OCaml8 2 31
ipudp
tunnel IP over UDP, with encryption and random padding
Language:Python20
normalization-bench
Benchmarking various normalization algorithms for the lambda calculus
Language:OCaml43 3 22
pruning-tutor
a tutorial implementation on an elaborator of a dependently typed language with pruning
Language:OCaml22 2 00
trebor
an implementation of Observational Type Theory (OTT) and more
Language:OCaml24 1 11

Guest0x0's Repositories

Guest0x0/normalization-bench
Benchmarking various normalization algorithms for the lambda calculus
Language:OCaml43 3 22
Guest0x0/trebor
an implementation of Observational Type Theory (OTT) and more
Language:OCaml24 1 11
Guest0x0/pruning-tutor
a tutorial implementation on an elaborator of a dependently typed language with pruning
Language:OCaml22 2 00
Guest0x0/coqoune
CoqIDE-like experience for kakoune
Language:OCaml8 2 31
Guest0x0/ipudp
tunnel IP over UDP, with encryption and random padding
Language:Python20
Guest0x0/cliff.kak
managing clients and buffers in Kakoune
Language:KakouneScript00
Guest0x0/dotfiles
Language:Shell00
Guest0x0/Generalized_Stream_Fusion
Language:OCaml00
Guest0x0/kakoune
mawww's experiment for a better code editor
Language:C++
Guest0x0/kakoune-smooth-scroll
Smooth scrolling for Kakoune with inertial movement
Guest0x0/moonbit-core
MoonBit's Core library
Language:Shell
Guest0x0/moonbit-syntax
Language:OCaml
Guest0x0/ods
Data structures and algorithms in OCaml
Language:OCaml
Guest0x0/zh-lang-book
Language:Handlebars