Pinned Repositories
Ammonite
Rock-solid shell scripting
betrfs
Glue
Python code optimizer which converts Python code to C++ based on type annotations
JSParser
A JavaScript Parser in Scala using fastparse
Kraken
Compiler for a C like language which generates MIPS assembly
lam-wasm
Lambda calculus (refs + refinement types) to web assembly compiler with cool security guarantees.
mirage
MirageOS is a library operating system that constructs unikernels
ocaml-cstruct
Map OCaml arrays onto C-like structs
schedcat
The Schedulability Test Collection And Toolkit
shell
A Bash like shell in C with hacky hooks!!
cosmo-kramer's Repositories
cosmo-kramer/lam-wasm
Lambda calculus (refs + refinement types) to web assembly compiler with cool security guarantees.
cosmo-kramer/JSParser
A JavaScript Parser in Scala using fastparse
cosmo-kramer/betrfs
cosmo-kramer/Glue
Python code optimizer which converts Python code to C++ based on type annotations
cosmo-kramer/mirage
MirageOS is a library operating system that constructs unikernels
cosmo-kramer/schedcat
The Schedulability Test Collection And Toolkit
cosmo-kramer/Ammonite
Rock-solid shell scripting
cosmo-kramer/Kraken
Compiler for a C like language which generates MIPS assembly
cosmo-kramer/ocaml-cstruct
Map OCaml arrays onto C-like structs
cosmo-kramer/shell
A Bash like shell in C with hacky hooks!!
cosmo-kramer/clojurescript
Clojure to JS compiler
cosmo-kramer/dotfiles
My dotfiles
cosmo-kramer/fastparse
Writing Fast Parsers Fast in Scala
cosmo-kramer/Filesharer
cosmo-kramer/jeeves
Python implementation of the Jeeves programming language.
cosmo-kramer/judge-sandbox
cosmo-kramer/legion
The Legion Parallel Programming System
cosmo-kramer/machinery
A systems management toolkit for Linux
cosmo-kramer/nvm-examples
Sample conversions of normal C programs to nvm using programs
cosmo-kramer/nvm_cpp_examples
cosmo-kramer/p-kyotocabinet
NVM Persistent kyotocabinet
cosmo-kramer/phobos
The standard library of the D programming language
cosmo-kramer/search_util
An intelligent search utility for big e-libraries based on ranking mechanism similar to tf/idf
cosmo-kramer/Skeptik
A library for Proof Theory (especially Proof Compression) in Scala.
cosmo-kramer/soek
cosmo-kramer/spark
Mirror of Apache Spark
cosmo-kramer/spf13-vim
The ultimate vim distribution
cosmo-kramer/sql_compiler
SQL compiler frontend
cosmo-kramer/std.xml2
prototyping a xml replacement for the std library phobos of D
cosmo-kramer/syncode
Efficient and general syntactical decoding for Large Language Models