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, lightweight, performant, accessible and extensible drag & drop toolkit for React.

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

#lang clingo for Racket (WIP)