-
Maykin
- Amsterdam
Stars
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 Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
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.
Python scripts for loading, pre-processing, Reconstructing and segmenting X-ray CT projection data from an openly available X-ray data set
Visualize your Markdown as mindmaps with markmap
Hypothesis-like property testing for Rust