8 search results for "author:"Kiran Gopinathan""
Showing 1 - 8
-
Tool to view ppx-expanded OCaml source files0.0.1GPL-3.0-or-laterUsed by 0 other packages23 Dec 2021
-
Ego (EGraphs OCaml) is extensible EGraph library for OCaml0.0.6GPL-3.0-or-laterUsed by 0 other packages04 Nov 2021
-
Ultimate Ocaml editing plugin, providing advanced structural editing, movement and analysis in Emacs0.0.6GPL-3.0-onlyUsed by 0 other packages12 Jul 2022
-
Ultimate Ocaml editing plugin, providing advanced structural editing, movement and analysis in Emacs (uses Merlin parser)0.0.6GPL-3.0-onlyUsed by 0 other packages12 Jul 2022
-
Bindings to GNU Guile Scheme for OCaml1.0GPL-3.0-or-laterUsed by 0 other packages26 Aug 2022
-
A Framework for building Batched Concurrent Data Structures1.1ISCUsed by 0 other packages24 Sep 2024
-
Inline tests backend for alcotest1.0.0ISCUsed by 2 other packages25 Aug 2021
-
Bindings to SWI-Prolog for OCaml0.5GPL-3.0-or-laterUsed by 0 other packages08 Dec 2021