Pinned Repositories
cleango
Bindings to libclingo for the lean4 prover and programming language!
emacs-viewer
A web frontend for your Org-files (100% faithful to GNU+Emacs!)
gopcaml-mode
[MIRROR] Ultimate Ocaml Editing Mode
LeanTeX
Write LaTeX presentations directly from Lean4~
LibreRef
LibreRef is a free as in freedom digital referencing tool for artists.
ocamlot
An Activitypub server in OCaml!
petrol
Petrol's an OCaml SQL API made to go FAST.
rhombus-in-the-rough
A 2D RPG implemented in the Rhombus Racket dialect
ceramist
Verified hash-based AMQ structures in Coq
sisyphus
Mostly Automated Proof Repair for Verified Libraries
kiranandcode's Repositories
kiranandcode/petrol
Petrol's an OCaml SQL API made to go FAST.
kiranandcode/LeanTeX
Write LaTeX presentations directly from Lean4~
kiranandcode/cleango
Bindings to libclingo for the lean4 prover and programming language!
kiranandcode/lean-aoc
Advent of code in Lean4
kiranandcode/deriving-such-that
kiranandcode/lean4-blueprint-extractor
Some brief hacking to try and extract Blueprint metadata from repositories of lean4 projects.
kiranandcode/lean4-godot
Lean4 Godot Bindings maybe?
kiranandcode/type-and-data-driven-programming-samples
Associated code for my blog post on Type-driven was Data-driven Programming
kiranandcode/BetterFind.lean
A better #find for lean.
kiranandcode/clingo-lang
#lang clingo for Racket (WIP)
kiranandcode/jupyter-whiteboard
Experiments with using LLMs + Python + Block/whiteboard based programming
kiranandcode/godot-emacs-plugin
Emacs bindings for Godot (WIP: read not working, hopefully soon, help appreciated :) >w< uwu)
kiranandcode/kirancodes.me
My personal website!!! (it's in Org mode!!!)
kiranandcode/vibe-debugging
kiranandcode/aoc-rhombus
Let's do AOC in Rhombus!!! (Why? because I hate myself :sob: :sob: :sob:)
kiranandcode/axiom-profiler-2
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
kiranandcode/cafe-map
A little web-applet to track all the cafes I've been to!
kiranandcode/cerberus
Cerberus C semantics
kiranandcode/cn
CN separation logic refinement type system for C
kiranandcode/cn-tutorial
kiranandcode/elpi
Embeddable Lambda Prolog Interpreter
kiranandcode/experiments-with-verification-ocaml
Experiments using CFML2 to verify code + dune
kiranandcode/isabelle-afp-repair
Preliminary results from experimenting with Isabelle+AFP LLM repairs
kiranandcode/job-talk
Kiran's Job Talk (in LeanTeX)
kiranandcode/kirans-org-mode
Personal branch of org mode I use to maintain my personal website
kiranandcode/lean4
Lean 4 programming language and theorem prover
kiranandcode/Normalisation-by-evaluation-Lean
Experiments with implementing Normalisation-by-evaluation blog post in Lean.
kiranandcode/obatcher_ds
kiranandcode/python-mastery
Advanced Python Mastery (course by @dabeaz)
kiranandcode/VERSE-Toolchain
Tools for testing and verifying the safety and correctness of C programs.