Stories by gopiandcode

How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean

Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml

LeanSSR: An SSReflect-Like Tactic Language for Lean

Sisyphus – Mostly Automated Proof Repair for Verified Libraries

Rhombus in the Rough: A 2D RPG implemented in the Rhombus Racket Lisp dialect

Petrol: Embedding a type-safe SQL API in OCaml using GADTs

I Wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost

LLaMA-based Emacs Search plugin

Show HN: A web front end for your Org-files

Unifying fold left and fold right in Prolog

Racket-Rhombus: To Sexp or Not to Sexp?

Goodbye C developers: The future of programming with certified program synthesis

Testing Out Algebraic Effects in OCaml for Game Animations

Bloom filters debunked: Dispelling 30 Years of bad math with Coq

Structural OCaml Editing in Emacs