xhtmlboi
The funny thing about my "display name" is that it contrast when I contribute to serious projects, with the "display name" of other contributors. #lol
@funkywork
xhtmlboi's Stars
Movie-Web/movie-web
A small web app for watching movies and shows easily
terrastruct/d2
D2 is a modern diagram scripting language that turns text to diagrams.
TodePond/DreamBerd
perfect programming language
xorvoid/sectorc
A C Compiler that fits in the 512 byte boot sector of an x86 machine
GaloisInc/cryptol
Cryptol: The Language of Cryptography
ocaml-community/utop
Universal toplevel for OCaml
paurkedal/ocaml-caqti
Cooperative-threaded access to relational data
mit-plv/bedrock2
A work-in-progress language and compiler for verified low-level programming
leostera/riot
An actor-model multi-core scheduler for OCaml 5 🐫
ocaml-multicore/saturn
Lock-free data structures for multicore OCaml
LPCIC/coq-elpi
Coq plugin embedding elpi
ocaml-multicore/picos
Interoperable effects based concurrency
art-w/deque
Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
art-w/unicorn
Purely functional GUI algebra
RedPRL/algaeff
🦠 Reusable components based on algebraic effects
robur-coop/httpcats
A simple http client/server (http/1.1 & h2) for OCaml 5
mindylou/legend-of-zolda
OCaml implementation of a NES Legend of Zelda-style browser-based game
dbuenzli/zipc
ZIP archive and deflate codec for OCaml
CharlesAverill/zenith
A wireframe renderer written in OCaml
art-w/babiseat
add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs
pveber/scirep
Generate a webpage with mathematical formulae, OCaml output and graphics from markdown
smimram/satex
String diagrams in LaTeX.
tarides/irmin-bookmarks
Firefox extension to store bookmarks in a git repository using Irmin
funkywork/tezos-dapps-examples
Examples of dApps using Nightmare and Yourbones
CatalaLang/french-law
funkywork/ladmm-sa
A small application that makes it easy to enter and track data to qualify for artist status in Belgium. It is a pro bono application designed at the request of "Les Amis d'ma mère", a Belgian non-profit organisation that promotes (and supports) artists in Belgium.
Smallibs/maitar
Rust library providing some functional programming idioms
xvw/tetra-master-util
Miscellaneous tools for the Final Fantasy IX Tetra Master card game
CrucifixArnaud/tawct
The Amazing Wc Tour
dinosaure/miragevpn
An opinionated implementation of the OpenVPN protocol