Kiran Gopinathan's repositories
lean4-blueprint-extractor
Some brief hacking to try and extract Blueprint metadata from repositories of lean4 projects.
lean4-godot
Lean4 Godot Bindings maybe?
type-and-data-driven-programming-samples
Associated code for my blog post on Type-driven was Data-driven Programming
BetterFind.lean
A better #find for lean.
clingo-lang
#lang clingo for Racket (WIP)
jupyter-whiteboard
Experiments with using LLMs + Python + Block/whiteboard based programming
godot-emacs-plugin
Emacs bindings for Godot (WIP: read not working, hopefully soon, help appreciated :) >w< uwu)
kirancodes.me
My personal website!!! (it's in Org mode!!!)
aoc-rhombus
Let's do AOC in Rhombus!!! (Why? because I hate myself :sob: :sob: :sob:)
axiom-profiler-2
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
cafe-map
A little web-applet to track all the cafes I've been to!
cerberus
Cerberus C semantics
cn
CN separation logic refinement type system for C
experiments-with-verification-ocaml
Experiments using CFML2 to verify code + dune
isabelle-afp-repair
Preliminary results from experimenting with Isabelle+AFP LLM repairs
job-talk
Kiran's Job Talk (in LeanTeX)
kirans-org-mode
Personal branch of org mode I use to maintain my personal website
lean4
Lean 4 programming language and theorem prover
Normalisation-by-evaluation-Lean
Experiments with implementing Normalisation-by-evaluation blog post in Lean.
python-mastery
Advanced Python Mastery (course by @dabeaz)
VERSE-Toolchain
Tools for testing and verifying the safety and correctness of C programs.