Kiran Gopinathan

petrol. Petrol's an OCaml SQL API made to go FAST.

emacs-viewer. A web frontend for your Org-files (100% faithful to GNU+Emacs!)

ocamlot. An Activitypub server in OCaml!

rhombus-in-the-rough. A 2D RPG implemented in the Rhombus Racket dialect

LeanTeX. Write LaTeX presentations directly from Lean4~

gopcaml-mode. [MIRROR] Ultimate Ocaml Editing Mode

cleango. Bindings to libclingo for the lean4 prover and programming language!

guile-ocaml. GNU Guile Scheme bindings for OCaml

simple-pleroma-comments. Free, open source web commenting system in a single script (no-analytics, privacy friendly)!

WacomTabletTool. Unofficial GUI Tool for configuring Wacom Tablets on Unix/Linux systems.

lean-aoc. Advent of code in Lean4

LibreRef. LibreRef is a free as in freedom digital referencing tool for artists.

SWIPL-OCaml. SWI-Prolog Bindings for OCaml: https://kiranandcode.github.io/SWIPL-OCaml/swipl/index.html

deriving-such-that. Lean

lean4-godot. Lean4 Godot Bindings maybe?

rhombus-mode. Emacs Major mode for Rhombus (experimental)

UWP-RedditSlideshow. A Reddit Slideshow for the Universal Windows Platform...

fun-ip. Making IPv4 fun again! Who need DNS servers?

C-Projects. A repository for all the cool C projects I do

othudd. OCaml Theorem driven development - Tests are for losers.

lean4-blueprint-extractor. Some brief hacking to try and extract Blueprint metadata from repositories of lean4 projects.

gop-music. Music synced to typing baby!

dependent-view. A rust library for weak dependent views.

query-complexity-framework. Framework for empirically exploring query complexity questions

kirancodes.me. My personal website!!! (it's in Org mode!!!)

plebbit-bg-changer. OCaml rewrite of a python-based background changer

type-and-data-driven-programming-samples. Associated code for my blog post on Type-driven was Data-driven Programming

.nyxt.d. .nyxt.d config file (placed under $HOME/.config/nyxt/

clingo-lang. #lang clingo for Racket (WIP)

BetterFind.lean. A better #find for lean.

CamelClone. Automatically push changes to selected repositories - 0% tested yet 100% correct.

jupyter-whiteboard. Experiments with using LLMs + Python + Block/whiteboard based programming

Goptables. The best timetabling system you never knew you needed.

ocaml-pug. Pug(lite) parser & compiler in OCaml

godot-emacs-plugin. Emacs bindings for Godot (WIP: read not working, hopefully soon, help appreciated :) >w< uwu)

hit-front-page-of-hacker-news. Documenting Gopcaml-mode hitting the front-page of hacker news!

coq-projects. Haskell? More like not-prooved-well! Got-em!

html_gen. A simple HTML templating engine built using literate programming

vibe-debugging. Python

Activitybot-robotics-Project. A repo for the RoboticsProject

rust-projects. Might as well dip my toes into rust as well.