CLI tool to add attestation identities to `pylock.toml` files

PureScript codebase visualization tool with treemaps, beeswarms, and dependency analysis

Declarative terminal graphics for OCaml

Open hardware and software tools for communicating with Miele appliances via their optical diagnostic interface

Text-first toolkit for building reproducible, composable LLM workflows as plain files in OCaml.

👻🌀 debian packaging for ghostty

A neat interface for Slack

MirageOS on RPi4

OCaml bindings to quickjs

Terraform without the state file bottleneck

A fast excel reader for Rust and Python

OCaml bindings for the Neovim API

DuckDB bindings

Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles

Maintainable configuration files

Build reactive web interfaces with signals.

Translate Python code to Rocq code for formal verification. Applied to the reference implementation of the Ethereum VM in Python (WIP, in pause)

Pure Python implementation of the Matter IOT protocol

An RP2040-based keyboard PCB KiCAD Template Project

Imagine a Dependently Typed Python

A functional programming language with shell scripting capabilities

A simple, functional style GUI framework for native desktop apps

Custom mechanical keyboard PCB

RenderDoc is a stand-alone graphics debugging tool.

UNMAINTAINED! Please check out active forks

Naive XML & JSON Bindings for python

Smart and dynamic forms

InferNoLogic is the TypeScript library designed to cool down the hellfire of type mismatches in JsonLogic. Navigate through your complex logic rules with the confidence that your types align.