Kiran Gopinathan

Here I am!!!

Ecosystems: OCaml, Coq, Rust, Emacs, ActivityPub, Python, Bash, Linux, C#, Android, Express, Node.js, Pug, Java, C

Projects

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

OCaml - Released: 11 Jan 2023 - 106

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

Common Lisp - Released: 02 Dec 2022 - 117

Verified hash-based AMQ structures in Coq

Coq - Released: 30 May 2019 - 122

An Activitypub server in OCaml!

OCaml - Released: 13 Feb 2023 - 66

[MIRROR] Ultimate Ocaml Editing Mode

OCaml - Released: 06 Mar 2021 - 21

Mostly Automated Proof Repair for Verified Libraries

OCaml - Released: 19 Feb 2022 - 4

GNU Guile Scheme bindings for OCaml

OCaml - Released: 21 Jun 2022 - 15

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

OCaml - Released: 15 Jul 2020 - 16

Bindings to libclingo for the lean4 prover and programming language!

C - Released: 26 Apr 2024 - 3

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

Shell - Released: 21 Apr 2018 - 9

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

OCaml - Released: 08 Dec 2021 - 6

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

OCaml - Released: 30 Jun 2021 - 5

A Reddit Slideshow for the Universal Windows Platform...

C# - Released: 21 Jul 2017 - 4