Repositories list

• Braincum

  Public archive
  Braincum is an esoteric programming language heavily inspired on well-known Brainfuck.

  00 forks•11 star•00 issues•00 pull requests•Updated Dec 2, 2025Dec 2, 2025

• over-the-type

  Public archive
  Various experimentations at the edge of OCaml's type system

  proofequalitygadt+ 3

  proofequalitygadttype-systemleibnizmartin-lof

  OCaml

  •00 forks•77 stars•00 issues•00 pull requests•Updated Nov 3, 2025Nov 3, 2025

• ansifmt

  Public archive
  A simple, lightweight library for ANSI styling.

  terminalformattingansi+ 1

  terminalformattingansipretty-printing

  OCaml

  •

  MIT License

  •11 fork•2222 stars•33 issues•00 pull requests•Updated Oct 30, 2025Oct 30, 2025

• ppx-section

  Public archive
  A PPX to split modules into sections

  OCaml

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 24, 2025Oct 24, 2025

• rich-string

  Public archive
  rich-string provides a generic way to enrich the built-in string type with new capabilities.

  OCaml

  •

  MIT License

  •00 forks•44 stars•11 issue•00 pull requests•Updated Oct 22, 2025Oct 22, 2025

• cat2

  Public archive
  the sequel to qexat/cat

  OCaml

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 22, 2025Oct 22, 2025

• obric

  Public archive
  Okay But Recursion Is Cool

  OCaml

  •

  GNU Affero General Public License v3.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 11, 2025Oct 11, 2025

• cat

  Public archive
  insert a nerd emoji here

  OCaml

  •00 forks•22 stars•00 issues•00 pull requests•Updated Oct 11, 2025Oct 11, 2025

• violette

  Public archive
  Violette is a simple functional programming language.

  OCaml

  •00 forks•2626 stars•11 issue•00 pull requests•Updated Oct 11, 2025Oct 11, 2025

• anstrip

  Public archive
  anstrip is a minimal library to strip ANSI sequences from strings.

  terminalansiescape-sequences+ 4

  terminalansiescape-sequencesstripecmaecma-48sgr

  Python

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 8, 2025Oct 8, 2025

• inductive

  Public archive
  inductive is a Python library that defines inductive data structures such as Peano numbers and linked lists.

  listdependent-typeslinked-list+ 4

  listdependent-typeslinked-listnatdata-structuresnatural-numbersinductive

  Python

  •

  MIT License

  •00 forks•88 stars•11 issue•00 pull requests•Updated Oct 8, 2025Oct 8, 2025

• Coquille

  Public archive
  Coquille is a lightweight library that wraps terminal escape sequences to easily apply them to a stream.

  terminalescape-sequenceshacktoberfest

  terminalescape-sequenceshacktoberfest

  Python

  •

  MIT License

  •00 forks•66 stars•22 issues•00 pull requests•Updated Oct 8, 2025Oct 8, 2025

• magic-list

  Public archive
  A list on steroids

  pythonlistextension+ 4

  pythonlistextensionmagiccollectionshacktoberfestbuilt-in

  Python

  •

  MIT License

  •00 forks•66 stars•55 issues•11 pull request•Updated Oct 8, 2025Oct 8, 2025

• lexie

  Public archive
  a ML-style programming language based on the calculus of constructions type theory

  OCaml

  •

  MIT License

  •11 fork•2424 stars•00 issues•00 pull requests•Updated Jul 6, 2025Jul 6, 2025

• orena-batteries

  Public archive
  the built-in standard library for orena

  GNU Affero General Public License v3.0

  •00 forks•33 stars•00 issues•00 pull requests•Updated May 1, 2025May 1, 2025

• orena-code-extension

  Public archive
  A Visual Studio Code extension to support the Orena language

  GNU Affero General Public License v3.0

  •00 forks•33 stars•00 issues•00 pull requests•Updated Apr 28, 2025Apr 28, 2025

• ansifmt_demo

  Public archive
  A very simple project that makes use of ansifmt's tokenization-based formatting.

  OCaml

  •

  MIT License

  •00 forks•33 stars•11 issue•00 pull requests•Updated Feb 20, 2025Feb 20, 2025

• estoc

  Public archive
  OCaml

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Feb 20, 2025Feb 20, 2025

• remige

  Public archive
  Python

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Feb 11, 2025Feb 11, 2025

• peano

  Public archive
  Natural numbers based on Peano axioms in Gleam.

  Gleam

  •

  MIT License

  •00 forks•22 stars•00 issues•00 pull requests•Updated Jan 24, 2025Jan 24, 2025

• PLAGE

  Public archive
  Programming Language Adjacent General Experiments

  OCaml

  •00 forks•44 stars•00 issues•00 pull requests•Updated Dec 18, 2024Dec 18, 2024

• munii

  Public archive
  Rust

  •00 forks•33 stars•00 issues•00 pull requests•Updated Dec 5, 2024Dec 5, 2024

• trunk

  Public archive
  writing stuff

  MIT License

  •00 forks•22 stars•00 issues•00 pull requests•Updated Nov 24, 2024Nov 24, 2024

• ratatui-things

  Public archive
  Rust

  •00 forks•11 star•00 issues•00 pull requests•Updated Nov 18, 2024Nov 18, 2024

• shlog

  Public archive
  A simple Bash utility to log useful messages.

  Shell

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 22, 2024Oct 22, 2024

• c23_list

  Public archive
  My very bad and unsafe take on generic lists using the nice features of C23.

  C

  •

  MIT License

  •00 forks•22 stars•00 issues•00 pull requests•Updated Sep 30, 2024Sep 30, 2024

• venusc

  Public archive
  [Coming soon] Compiler and toolchain for the Venus programming language.

  Python

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Aug 27, 2024Aug 27, 2024

• various-proofs

  Public archive
  Various (basic) proofs I wrote in Coq.

  Coq

  •00 forks•11 star•00 issues•00 pull requests•Updated Aug 24, 2024Aug 24, 2024

• rosalie

  Public archive
  Colorful rose theme for Visual Studio Code and Vim.

  Vim Script

  •

  MIT License

  •00 forks•66 stars•00 issues•00 pull requests•Updated Jul 6, 2024Jul 6, 2024

• featlib

  Public archive
  Python

  •

  GNU General Public License v3.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Jun 30, 2024Jun 30, 2024