Guest0x0

Pinned Repositories

coqoune
CoqIDE-like experience for kakoune
Language:OCaml9 2 31
ipudp
tunnel IP over UDP, with encryption and random padding
Language:Python30
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:OCaml26 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:OCaml26 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:OCaml9 2 31
Guest0x0/ipudp
tunnel IP over UDP, with encryption and random padding
Language:Python30
Guest0x0/cliff.kak
managing clients and buffers in Kakoune
Language:KakouneScript0 2 00
Guest0x0/dotfiles
Language:Shell0 1 00
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
Language:Python1 0
Guest0x0/koka
Koka language compiler and interpreter
Language:Haskell
Guest0x0/moonbit-core
MoonBit's Core library
Language:Shell
Guest0x0/moonbit-syntax
Language:OCaml0 0
Guest0x0/ods
Data structures and algorithms in OCaml
Language:OCaml1 0
Guest0x0/zh-lang-book
Language:Handlebars