Repository Index

IO for Gallina

• coq
• ocaml
• extraction

C++17 serialization to JSON/JSONC, XML, YAML, CSV and MsgPack via one API, with self-contained built-in formats and optional fast_float acceleration.

• csv
• json
• serialization
• xml

A tool to query InfluxDB and send alerts based on a YAML config

Library of Raft consensus algorithm implemented in OCaml

• ocaml
• raft-consensus-algorithm
• raft
• consensus-algorithm

⚛️ GoodReactor is a Redux-inspired Reactor framework for iOS developed using Swift. It enables seamless communication between the View Model, View Controller, and Coordinator through state and navigation functions. It ensures no side-effects by interacting with dependencies outside of the Reduce function. Integrate it with using SPM!

• ios
• reactorkit
• swift
• library

Robux-Generator: Full Working Installer with All Features Activated

• automation
• desktop
• developer-tools
• open-source

An advanced serialization and comparison system for Sitecore. Designed for easy merging with YAML-based serialization, and a generic merge/deserialization framework. Works well with Unicorn, or by itself.

• sitecore
• rainbow
• serialization
• yaml

Inspection of internal value representations and the object graph

Uttorent 2026: Desktop Torrent Management Installer with Seamless Setup

• automation
• desktop-torrent-application
• developer-tools
• incogni-nordvpn-value

fonetrans: Full-featured desktop installer for seamless operation

• automation
• desktop
• developer-tools
• fonnte

Minimalist OCaml library for command line parsing

• ocaml-library
• command-line-interface
• cli
• minimalist

Process pools for OCaml

A lisp native YAML parser

general value printing within compiled programs

An HTML documentation generator for Coq source files

📑 GoodUIKit is a UIKit extensions library filled with reusable UI snippets for faster and more efficient iOS development. Boost productivity and streamline your workflow with ready-to-use UI components.

• ios
• swift
• uikit
• library

Print OCaml values based on their runtime representation

Parser and printer for date-times in ISO8601

• ocaml
• iso8601
• datetime
• parser

Runtime types for OCaml (beta version)

OCaml/MPI interface

The repository host gives no description.

The MemCAD static analyzer

• abstract-interpretation
• static-analysis
• c
• shape-analysis

Centralized and persistent live configs for seamless game tuning and balancing in GameMaker.

• balancing
• configuration
• gamemaker
• imgui

📑 GoodExtensions is a collection of useful and frequently used Swift extensions for iOS development, designed to simplify and streamline common tasks.It helps developers write clean and concise code, saving time and effort while boosting productivity. Get access to a wealth of essential tools for iOS development in one convenient library.

• ios
• swift
• library