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?