lazyprop

Ishaan Verma's repositories

little-lisp

A little lisp interpreter written in Rust.

Language:Rust5 10

incryptx

CTF Platform made for Incrypt-[X]

Language:PythonBSD-2-Clause3 10

matmul

high performance matmul research

Language:C++200

sicp

working through the wizard book

Language:Racket2 10

competitive

My adventures with competitive programming.

Language:C++1 10

haskell-language-server

Language:HaskellApache-2.01 10

learn-asm

every self respecting programmer should know assembly.

Language:Assembly1 10

learn-haskell

functional

Language:Haskell1 10

lisp-haskell

A small Lisp interpreter in Haskell.[Work in Progress]

Language:Haskell1 10

algorithm-archive

A collaborative book on algorithms

Language:AssemblyMIT000

chip8

Language:Rust020

tiny-mpc

A tiny monadic parser combinator library.

Language:Haskell010

dank-spammer

Spammer for Dank Memer Discord bot

Language:PythonUnlicense020

dotfiles

arch, awesomewm, nvim

Language:C010

lazyprop.github.io

Language:HTML010

learn-coq

Language:Makefile010

learn-llvm

Language:Assembly010

linkdump

a dump for links

Language:CSS000

md-server

Language:HTML010

net

Language:C000

StarPlat

Language:C++000

technika2020

Jekyll version of the newest Agency Bootstrap theme, plus new features: Google Analytics, Markdown support, custom pages, and more!

Language:JavaScriptMIT000

tiny-shell

Language:C010