nishantjr

followers

following

stars

nishantjr.github.io

Organizations

cynic-net

dot-home

Formal-Systems-Laboratory

kframework

Nishant Rodrigues's repositories

kninja

Language:PythonNOASSERTION3 4 1

dafny-semantics

Language:Python100

dot-files

A [cynic-net/_dot-home] module containing my public dot-files

Language:Python1 20

k-play

Language:Python1 40

masters-thesis

Language:TeX1 20

matching-logic-spec

Language:Shell100

augustus

An open source re-implementation of Caesar III

Language:CAGPL-3.0010

blockchain-k-plugin

K plugin for IELE and KEVM

Language:OCaml000

commonmark-tangle

Language:JavaScript000

devbox-play

Language:Shell020

fuzzing-with-k

Language:Python030

golden-bandra

Language:HTML010

ibos-case-study

A Maude specification of IBOS as well as associated proofs.

Language:Shell000

illinois-letterhead

Replicating the Illinois letterhead in latex

000

islamic-tesselations

Language:C++000

k

K Framework Tools 5.0

Language:JavaNOASSERTION020

k584

000

lean-checker

Language:Lean010

llvm-backend

KORE to llvm translation

Language:LLVM020

matching-logic-mm0

(Backup Fork)

BSD-3-Clause000

maude

Language based on Rewriting Logic

GPL-2.0000

ml-tableau

Language:Python030

mvn-tut

Language:Java020

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

Language:CSS000

p-semantics

Semantics of P in Maude

Language:Shell010

pandoc-book-test

Language:HTML000

PLFMSE-qual-papers

Programming Lanuguages / Formal Methods / Software Engineering qual papers

000

plutus-prototype

Language:Haskell000

preservation-via-confluence

Language:PythonBSD-3-Clause000

PyAML

Language:Python020