Stars
CLI tool to add attestation identities to `pylock.toml` files
PureScript codebase visualization tool with treemaps, beeswarms, and dependency analysis
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.
Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.
Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles
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
A functional programming language with shell scripting capabilities
A simple, functional style GUI framework for native desktop apps
RenderDoc is a stand-alone graphics debugging tool.
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.