aakp10

Karuna Grewal's repositories

MLLF

Language:C2 2 1

src

Automatic conversion of the NetBSD src CVS module, use with care

2 30

CodeBERT

Language:PythonMIT1 20

mollusc-shell

Exoskeleton shell around (soft) UNIX commands.

Language:C1 30

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Language:RustNOASSERTION1 20

xfast

Xfast Trie

Language:RustMIT100

zettelkasten

Language:HTML1 30

Dino-Playbook

Language:C020

P4BID

Language:C++Apache-2.0020

generics

Language:C++020

jaeger

CNCF Jaeger, a Distributed Tracing Platform

Language:GoApache-2.0020

key-val-store

dummy key value store

Language:Rust000

latex-build-action

Language:TeX030

libgtop

Language:CGPL-2.0020

lottery-scheduler

Cheddar Simulation

Language:SuperCollider020

md2pdf

Hacky way to get customized stylings from md->pdf

Language:CSS020

neural-network

Language:Jupyter Notebook020

nmap

Nmap - the Network Mapper. Github mirror of official SVN repository.

Language:CNOASSERTION020

pebblesdb

The PebblesDB write-optimized key-value store (SOSP 17)

Language:C++BSD-3-Clause010

pl.cs.cornell.edu

Website for PL@Cornell

MIT000

pltea.github.io

Language:SCSSCC0-1.0000

posix-semaphores

Conventional semaphore operations

Language:C020

proxy

The Istio proxy components.

Apache-2.0000

RBTrees

Language:C020

RTSched

Language:C02 2

rust-text-ui

experimental text ui in rust

Language:Rust030

sdpd

Language:Java020

Socket-API

Language:C000

tic-tac-toe-assignment

A logic in Comp Sci. assignment

Language:PythonMIT020

veri-wimpy-log

Collecting some verilog modules from past and future.

Language:Verilog000