👻🌀 debian packaging for ghostty

A neat interface for Slack

MirageOS on RPi4

OCaml bindings to QuickJS

Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.

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 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

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.

Open Source Spotify client library

🎓 Web app to help teach HM type inference

dev tools, env vars, task runner

Python scripts for loading, pre-processing, Reconstructing and segmenting X-ray CT projection data from an openly available X-ray data set

Unofficial python tool for Supernote

Visualize your Markdown as mindmaps with markmap

Hypothesis-like property testing for Rust