Chiasmus is an MCP server that gives language models access to formal verification

Velocity through clarity

Editor Code Assistant (ECA) integration for Emacs

Editor Code Assistant (ECA) - AI pair programming capabilities agnostic of editor

Clojure & ClojureScript Interactive Programming for VS Code

🛜 TUI for managing wifi on Linux

Archi: ArchiMate Modelling Tool

a Hassle-Free Python Experience

Simple implementation of monad containers for functional programming in python

Cython implementation of Toolz: High performance functional utilities

A functional standard library for Python.

The Monorepo for Runestone Academy servers and interactives

A demo microservices project in Python using the Polylith architecture and Poetry plugins

Python package for executing functions when packages are imported

Realworld example implementation using ASP.NET Core with a Polylith architecture

Reagent wrapper for MUI (formerly Material UI) v5

Create and package prebuilds for native modules