Type-safe combinatorial CLI parser for TypeScript

📄 Create PDF files using React

Lean formalization of selected lemmas from "Term Rewriting and All That"

Python symbolic execution examples

The CloudFormation Resource Schema Guard Rail allows you to evaluate resource schema compliance against CloudFormation enforced best practices

Create guided tours in your apps

A simple package to format Backus-Naur form

The modern toolkit for building drag and drop interfaces

The web framework for content-driven websites. ⭐️ Star to support our work!

Next-gen language engineering / DSL framework

📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.

An LLM-first programming language.

Per-device scrolling prefs on macOS.

simple ollama repl for terminal or drracket

WIP formally-verified implementation of mergesort (efficient; only allocates one auxiliary array, sorts arrays in-place)

NPM Tool That Audits Projects For Broken Links

Adds features to the racket universe big-bang: magnification and an overlay that shows the events as they occur.

Guaranteed linear time parsing with typed parser combinators.

A modern Wine wrapper for macOS built with SwiftUI

A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf

An example extension for Racket Review.

An Introduction to Redex with Abstracting Abstract Machines