Beast code in Giters

Guest0x0's repositories

Benchmarking various normalization algorithms for the lambda calculus

Language:OCaml43 3 2

an implementation of Observational Type Theory (OTT) and more

Language:OCaml0BSD24 1 1

a tutorial implementation on an elaborator of a dependently typed language with pruning

Language:OCaml0BSD22 20

CoqIDE-like experience for kakoune

Language:OCaml0BSD8 2 3

tunnel IP over UDP, with encryption and random padding

Language:Python0BSD200

managing clients and buffers in Kakoune

Language:KakouneScript0BSD000

Language:Shell010

Language:OCaml000

mawww's experiment for a better code editor

Language:C++Unlicense000

Smooth scrolling for Kakoune with inertial movement

000

MoonBit's Core library

Language:ShellApache-2.0000

Language:OCaml000

Data structures and algorithms in OCaml

Language:OCaml000

Language:Handlebars000