cosmo-kramer Goto Github PK

ammonite

Rock-solid shell scripting

betrfs

clojurescript

Clojure to JS compiler

coqide

Emulate Coq IDE in VIM

dotfiles

My dotfiles

fastparse

Writing Fast Parsers Fast in Scala

filesharer

glue

Python code optimizer which converts Python code to C++ based on type annotations

ivysync

SD Video syncstarter for IVTV

jeeves

Python implementation of the Jeeves programming language.

jsparser

A JavaScript Parser in Scala using fastparse

judge-sandbox

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.

legion

The Legion Parallel Programming System

machinery

A systems management toolkit for Linux

mirage

MirageOS is a library operating system that constructs unikernels

nvm-examples

Sample conversions of normal C programs to nvm using programs

nvm_cpp_examples

ocaml-cstruct

Map OCaml arrays onto C-like structs

p-kyotocabinet

NVM Persistent kyotocabinet

phobos

The standard library of the D programming language

rider

IR assignment

runner

Binary/Executable file runner for judge.

schedcat

The Schedulability Test Collection And Toolkit

scrapy

Scrapy, a fast high-level web crawling & scraping framework for Python.

search_util

An intelligent search utility for big e-libraries based on ranking mechanism similar to tf/idf

shell

A Bash like shell in C with hacky hooks!!

skeptik

A library for Proof Theory (especially Proof Compression) in Scala.

soek