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
Gopiandcode's Repositories
Gopiandcode/emacs-viewer
A web frontend for your Org-files (100% faithful to GNU+Emacs!)
Gopiandcode/petrol
Petrol's an OCaml SQL API made to go FAST.
Gopiandcode/ocamlot
An Activitypub server in OCaml!
Gopiandcode/rhombus-in-the-rough
A 2D RPG implemented in the Rhombus Racket dialect
Gopiandcode/gopcaml-mode
[MIRROR] Ultimate Ocaml Editing Mode
Gopiandcode/guile-ocaml
GNU Guile Scheme bindings for OCaml
Gopiandcode/SWIPL-OCaml
SWI-Prolog Bindings for OCaml: https://gopiandcode.github.io/SWIPL-OCaml/swipl/index.html
Gopiandcode/deriving-such-that
Gopiandcode/rhombus-mode
Emacs Major mode for Rhombus (experimental)
Gopiandcode/cleango
Bindings to libclingo for the lean4 prover and programming language!
Gopiandcode/.nyxt.d
.nyxt.d config file (placed under $HOME/.config/nyxt/
Gopiandcode/clingo-lang
#lang clingo for Racket (WIP)
Gopiandcode/ocaml-pug
Pug(lite) parser & compiler in OCaml
Gopiandcode/aoc-rhombus
Let's do AOC in Rhombus!!! (Why? because I hate myself :sob: :sob: :sob:)
Gopiandcode/axiom-profiler-2
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
Gopiandcode/c-alignment-stuff-
???
Gopiandcode/core_kernel
Jane Street's standard library overlay (kernel)
Gopiandcode/elpi
Embeddable Lambda Prolog Interpreter
Gopiandcode/experiments-with-verification-ocaml
Experiments using CFML2 to verify code + dune
Gopiandcode/flat-combiner
Flat combiner written in OCaml
Gopiandcode/godot-emacs-plugin
Emacs bindings for Godot (WIP: read not working, hopefully soon, help appreciated :) >w< uwu)
Gopiandcode/http_sig_ocaml
HTTP Signatures for OCaml
Gopiandcode/lablgtk
LablGTK 2 and 3: an interface to the GIMP Tool Kit
Gopiandcode/lean4
Lean 4 programming language and theorem prover
Gopiandcode/obatcher_ds
Gopiandcode/ocaml-cisp
Based on luc doebereiners processes an implementation of my lib Cisp in Ocaml
Gopiandcode/ocamldebug-plus-plus
OCamldebug++? Maybe let's see.
Gopiandcode/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Gopiandcode/ppx_meta_elpi
PPX using elpi
Gopiandcode/typebeat
Keyboard-controlled music sequencer, sampler, and synth