Pinned Repositories
emacs-viewer
A web frontend for your Org-files (100% faithful to GNU+Emacs!)
gopcaml-mode
[MIRROR] Ultimate Ocaml Editing Mode
guile-ocaml
GNU Guile Scheme bindings for OCaml
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
simple-pleroma-comments
Free, open source web commenting system in a single script (no-analytics, privacy friendly)!
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/emacs-viewer
A web frontend for your Org-files (100% faithful to GNU+Emacs!)
kiranandcode/ocamlot
An Activitypub server in OCaml!
kiranandcode/rhombus-in-the-rough
A 2D RPG implemented in the Rhombus Racket dialect
kiranandcode/guile-ocaml
GNU Guile Scheme bindings for OCaml
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/rhombus-mode
Emacs Major mode for Rhombus (experimental)
kiranandcode/clingo-lang
#lang clingo for Racket (WIP)
kiranandcode/type-and-data-driven-programming-samples
Associated code for my blog post on Type-driven was Data-driven Programming
kiranandcode/godot-emacs-plugin
Emacs bindings for Godot (WIP: read not working, hopefully soon, help appreciated :) >w< uwu)
kiranandcode/ocaml-pug
Pug(lite) parser & compiler in OCaml
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/c-alignment-stuff-
???
kiranandcode/cerberus
Cerberus C semantics
kiranandcode/cn-tutorial
kiranandcode/elpi
Embeddable Lambda Prolog Interpreter
kiranandcode/experiments-with-verification-ocaml
Experiments using CFML2 to verify code + dune
kiranandcode/flat-combiner
Flat combiner written in OCaml
kiranandcode/http_sig_ocaml
HTTP Signatures for OCaml
kiranandcode/kirancodes.me
My personal website!!! (it's in Org mode!!!)
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/obatcher_ds
kiranandcode/ocamldebug-plus-plus
OCamldebug++? Maybe let's see.
kiranandcode/opam-repository
Main public package repository for opam, the source package manager of OCaml.
kiranandcode/ppx_meta_elpi
PPX using elpi
kiranandcode/VERSE-Toolchain
Tools for testing and verifying the safety and correctness of C programs.