All-in-one CLI for managing Lean blueprint projects — markdown-based mathematical documents with Lean formalization tracking

A simple and straight-forward wrapper around forms that works as you would expect

Automated formal verification pipeline: AST detection → TLA+ formalization → TLC model checking → chaos engineering confirmation

Command-Option-Argument: Yet another parser for command line options.

The Entailer CLI: evaluate a supplied formalization of a sentence or argument and emit an honest LogicReport.

Quizzes app for formalization checking and exercises.

Neurosymbolic code formalization — lift any codebase into logical facts and verify properties with Prolog/Datalog. Standalone, language-agnostic, points at any project.

A customizable dual-calendar date range picker for Angular 17+ with Reactive Forms, Signals, Headless Architecture, Plugin-Driven Presets, Multi-Range support, Time Picker, and Timezone-Safe Date Adapter

Shallow embedding of Protocols using Agda dependent types

A TypeScript Nullable<T> Type and Monad Compliant Utility Functions

A query framework for the Jolie language

UBML - Unified Business Modeling Language: parsing, validation, serialization, and CLI

QASM, the low-level programming language for quantum circuit specification, implemented in TypeScript.

Parasut API client for NestJS

This project was bootstrapped with [Create React App](https://github.com/facebook/create-react-app).

A tiny, dependency-free Result (Ok/Bad) type for TypeScript with tag-based errors and unwrap/matchBad helpers.

Main function factory for CycleJS

Meta-skill and self-improvement loop for pi — mines session history for repeated workflows, proposes new skills, and tracks skill health.

Compact single line music notation syntax definition and parser.

TypeScript Tonnetz is a set of structures and functions from mathematical music theory