-
A cool breeze
- over a serene sea
- https://gopiandcode.uk
- https://orcid.org/0000-0002-1877-9871
- @kirancodes
- https://transfem.social/@kirancodes
Block or Report
Block or report Gopiandcode
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
cleango Public
Bindings to libclingo for the lean4 prover and programming language!
-
-
axiom-profiler-2 Public
Forked from viperproject/axiom-profiler-2The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
Rust UpdatedJun 10, 2024 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedApr 30, 2024 -
godot-emacs-plugin Public
Emacs bindings for Godot (WIP: read not working, hopefully soon, help appreciated :) >w< uwu)
GDScript MIT License UpdatedApr 28, 2024 -
-
-
aoc-rhombus Public
Let's do AOC in Rhombus!!! (Why? because I hate myself 😭 😭 😭)
Racket UpdatedDec 20, 2023 -
elpi Public
Forked from LPCIC/elpiEmbeddable Lambda Prolog Interpreter
Prolog GNU Lesser General Public License v2.1 UpdatedDec 8, 2023 -
petrol Public
Petrol's an OCaml SQL API made to go FAST.
-
Experiments using CFML2 to verify code + dune
Coq UpdatedSep 1, 2023 -
-
rhombus-in-the-rough Public
A 2D RPG implemented in the Rhombus Racket dialect
-
ocamlot Public
An Activitypub server in OCaml!
-
-
-
ocaml-pug Public
Pug(lite) parser & compiler in OCaml
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedMar 19, 2023 -
-
emacs-viewer Public
A web frontend for your Org-files (100% faithful to GNU+Emacs!)
-
http_sig_ocaml Public
HTTP Signatures for OCaml
OCaml GNU Lesser General Public License v3.0 UpdatedSep 23, 2022 -
-
guile-ocaml Public
GNU Guile Scheme bindings for OCaml
-
gopcaml-mode Public
[MIRROR] Ultimate Ocaml Editing Mode
-
typebeat Public
Forked from kofigumbs/typebeatKeyboard-controlled music sequencer, sampler, and synth
Rust GNU Affero General Public License v3.0 UpdatedMar 21, 2022 -
.nyxt.d Public
.nyxt.d config file (placed under $HOME/.config/nyxt/
-
SWIPL-OCaml Public
SWI-Prolog Bindings for OCaml: https://gopiandcode.github.io/SWIPL-OCaml/swipl/index.html
-
core_kernel Public
Forked from janestreet/core_kernelJane Street's standard library overlay (kernel)
OCaml MIT License UpdatedNov 15, 2021 -
lablgtk Public
Forked from garrigue/lablgtkLablGTK 2 and 3: an interface to the GIMP Tool Kit
OCaml Other UpdatedSep 21, 2021 -
ocaml-cisp Public
Forked from casperschipper/ocaml-cispBased on luc doebereiners processes an implementation of my lib Cisp in Ocaml
OCaml UpdatedSep 13, 2021