Beast code in Giters

Upamanyu Sharma's repositories

Language:Emacs Lisp000

Language:Python000

Language:C010

cuckoo hashtable

Language:Go000

Language:Go010

Goose converts a small subset of Go to Coq

Language:GoMIT000

Language:Nim000

Language:Go010

Language:Zig000

Language:OpenEdge ABL020

Language:Lean000

Generate data involving the prime running function.

Language:PythonMIT000

Language:Python000

(Historic) Cryptographic utilities for fun

Language:CMIT000

Language:Go000

OpenGL 3D visualization library written in C

Language:CMIT000

Language:Lean000

Zig mode for Emacs

Language:Emacs LispGPL-3.0000