kirthivaasan

Pinned Repositories

algorithms_class
Language:C++00
cryptpad
The Encrypted Collaboration Suite
Language:JavaScript00
cs228-notes
Course notes for CS228: Probabilistic Graphical Models.
Language:HTML00
des
Toy Implementation of DES in Javascript for Educational Purposes
Language:JavaScript00
experiments
Language:C++00
FStar
Verification system for effectful programs
Language:F*00
gc-fstar
Language:F*00
gc-test
Language:Makefile00
kirthivaasan.github.io
00
slovarik
Russian dictionary in Emacs
Language:Emacs Lisp11

kirthivaasan's Repositories

kirthivaasan/slovarik
Russian dictionary in Emacs
Language:Emacs Lisp11
kirthivaasan/algorithms_class
Language:C++00
kirthivaasan/cryptpad
The Encrypted Collaboration Suite
Language:JavaScript00
kirthivaasan/cs228-notes
Course notes for CS228: Probabilistic Graphical Models.
Language:HTML00
kirthivaasan/des
Toy Implementation of DES in Javascript for Educational Purposes
Language:JavaScript00
kirthivaasan/experiments
Language:C++00
kirthivaasan/FStar
Verification system for effectful programs
Language:F*00
kirthivaasan/gc-fstar
Language:F*00
kirthivaasan/gc-test
Language:Makefile00
kirthivaasan/kirthivaasan.github.io
00
kirthivaasan/ssp-proofviewer
A proof viewer for state separating proofs (SSP) in cryptography.
Language:JavaScript00
kirthivaasan/oopds_class
Language:C++
kirthivaasan/RHVoice
RHVoice is a free and open source speech synthesizer for Russian language.
kirthivaasan/RVirt
RISC-V hypervisor written in Rust
kirthivaasan/tinyOthello
Tiny othello program that fits in the terminal.
Language:C++
kirthivaasan/web-app-nodejs-course
Language:JavaScript
kirthivaasan/xv6-riscv
MIT 6.S081/Fall 2019 Operating System Engineering