Pinned Repositories
git-commit-filetree
git-commit-filetree commits an arbitrary tree of files to a branch in a git repository.
boogie-semantics
k-in-k
Defining the semantics of K in K
matching-logic-prover
dafny-semantics
dot-files
A [cynic-net/_dot-home] module containing my public dot-files
flash-cards
gas-tools
Tools to help test and deploy Google Apps Script projects
islamic-tesselations
kninja
nishantjr's Repositories
nishantjr/kninja
nishantjr/dafny-semantics
nishantjr/dot-files
A [cynic-net/_dot-home] module containing my public dot-files
nishantjr/k-play
nishantjr/matching-logic-spec
nishantjr/islamic-tesselations
nishantjr/augustus
An open source re-implementation of Caesar III
nishantjr/blockchain-k-plugin
K plugin for IELE and KEVM
nishantjr/commonmark-tangle
nishantjr/cs476-website-fa24
nishantjr/devbox-play
nishantjr/fuzzing-with-k
nishantjr/golden-bandra
nishantjr/ibos-case-study
A Maude specification of IBOS as well as associated proofs.
nishantjr/illinois-letterhead
Replicating the Illinois letterhead in latex
nishantjr/k
K Framework Tools 5.0
nishantjr/k584
nishantjr/lean-checker
nishantjr/llvm-backend
KORE to llvm translation
nishantjr/matching-logic-mm0
(Backup Fork)
nishantjr/maude
Language based on Rewriting Logic
nishantjr/ml-tableau
nishantjr/mvn-tut
nishantjr/nishantjr.github.com
A blog to document my escapades, teach myself writing, practice building web-sites, show off my doodles, try my hand at design and more importantly - to have fun
nishantjr/p-semantics
Semantics of P in Maude
nishantjr/pandoc-book-test
nishantjr/plutus-prototype
nishantjr/preservation-via-confluence
nishantjr/PyAML
nishantjr/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families