There are no reviews yet. Be the first to send feedback to the community and the maintainers!
emacs-viewer
A web frontend for your Org-files (100% faithful to GNU+Emacs!)petrol
Petrol's an OCaml SQL API made to go FAST.ocamlot
An Activitypub server in OCaml!gopcaml-mode
[MIRROR] Ultimate Ocaml Editing Modeguile-ocaml
GNU Guile Scheme bindings for OCamlsimple-pleroma-comments
Free, open source web commenting system in a single script (no-analytics, privacy friendly)!WacomTabletTool
Unofficial GUI Tool for configuring Wacom Tablets on Unix/Linux systems.SWIPL-OCaml
SWI-Prolog Bindings for OCaml: https://gopiandcode.github.io/SWIPL-OCaml/swipl/index.htmlLibreRef
LibreRef is a free as in freedom digital referencing tool for artists.rhombus-mode
Emacs Major mode for Rhombus (experimental)fun-ip
Making IPv4 fun again! Who need DNS servers?C-Projects
A repository for all the cool C projects I doUWP-RedditSlideshow
A Reddit Slideshow for the Universal Windows Platform...deriving-such-that
gop-music
Music synced to typing baby!dependent-view
A rust library for weak dependent views.plebbit-bg-changer
OCaml rewrite of a python-based background changerquery-complexity-framework
Framework for empirically exploring query complexity questionsothudd
OCaml Theorem driven development - Tests are for losers.cleango
Bindings to libclingo for the lean4 prover and programming language!.nyxt.d
.nyxt.d config file (placed under $HOME/.config/nyxt/CamelClone
Automatically push changes to selected repositories - 0% tested yet 100% correct.clingo-lang
#lang clingo for Racket (WIP)ocaml-pug
Pug(lite) parser & compiler in OCamlGoptables
The best timetabling system you never knew you needed.coq-projects
Haskell? More like not-prooved-well! Got-em!hit-front-page-of-hacker-news
Documenting Gopcaml-mode hitting the front-page of hacker news!rust-projects
Might as well dip my toes into rust as well.cvgenerator
Simple, Formal, Elegant. CV Generatorpython-projects
Repo for all the small cool experiments I've done in Python.ProjectNote
Large projects? *Note* a problem!Activitybot-robotics-Project
A repo for the RoboticsProjecthtml_gen
A simple HTML templating engine built using literate programmingLove Open Source and this site? Check out how you can help us