Pinned Repositories
AAXtoMP3
Convert Audible's .aax filetype to MP3, FLAC, M4A, or OPUS
asi36-ctf
binsec.github.io
www presence for the BINSEC binary-level analysis open-source platform
bisect_ppx
Code coverage for OCaml and ReScript
camlit
caqti-study
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
portugol
A new interpreter for Portugol
skillsmatter_20200625
smtpp
Preprocessors and analyzers for SMT-LIB
rbonichon's Repositories
rbonichon/skillsmatter_20200625
rbonichon/AAXtoMP3
Convert Audible's .aax filetype to MP3, FLAC, M4A, or OPUS
rbonichon/asi36-ctf
rbonichon/binsec.github.io
www presence for the BINSEC binary-level analysis open-source platform
rbonichon/bisect_ppx
Code coverage for OCaml and ReScript
rbonichon/camlit
rbonichon/caqti-study
rbonichon/clikraken
Command-line client for the Kraken exchange
rbonichon/elegant-emacs
A very minimal but elegant emacs (I think)
rbonichon/emacs-overlay
Bleeding edge emacs overlay [maintainer=@adisbladis]
rbonichon/gopl.io
Example programs from "The Go Programming Language"
rbonichon/intro-ocaml
A (partial) introduction to OCaml
rbonichon/mina-taxes
A repository for exporting data from MinaExplorer for popular tax software
rbonichon/mina_tx_csv
rbonichon/mlpost
rbonichon/modern-typst-resume
A modern typst resume template
rbonichon/nixflk
highly structured NixOS configuration database
rbonichon/ocaml
The core OCaml system: compilers, runtime system, base libraries
rbonichon/ocaml-gen
This crate provides automatic generation of OCaml bindings. Refer to the rustdoc for more information.
rbonichon/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
rbonichon/opam2nix
Generate nix expressions from opam packages
rbonichon/optimism
Optimism is Ethereum, scaled.
rbonichon/polybar-themes
A huge collection of polybar themes with different styles, colors and variants.
rbonichon/ppx_fields_conv
Generation of accessor and iteration functions for ocaml records
rbonichon/pywal
🎨 Generate and change color-schemes on the fly.
rbonichon/rbonichon.github.io
rbonichon/rmapi
Go app that allows you to access your reMarkable tablet files through the Cloud API
rbonichon/smt-inverse-benchmark
rbonichon/tezos-packaging
Various forms of Tezos software distribution for Linux and macOS.
rbonichon/transient-showcase
Example forms for transient UI's in Emacs