[email protected]:stalniy/ucast.git

Write state machines once in TypeScript. The compiler mathematically proves correctness via TLA+, then generates runtime code and Postgres constraints from the same source.

A JavaScript library for interfacing with BotGuard.

Utility functions for working with TypeScript's API. Successor to the wonderful tsutils. 🛠️️

Sandboxed JavaScript task with vendored interpreter.

Liyad (Lisp yet another DSL interpreter) is very small Lisp interpreter written in JavaScript.

A reprogramming method to code better

A MODL parser in TypeScript

Run classic BASIC programs in Node.js and the browser, powered by a WebAssembly build of the RetroBASIC interpreter.

ArkType-compatible runtime schema validation with lazy JIT compilation

VSCode TextMate grammar helpers

The `postinstall` script helper for handling native bindings in legacy `npm` versions

Runtime library to validate data against TypeScript interfaces

Aquamarine IR interpreter as base64 WASM

A Node.js writable stream for interpreting streaming test results

Shift-interpreter is an experimental JavaScript meta-interpreter useful for reverse engineering and analysis. One notable difference from other projects is that shift-interpreter retains state over an entire script but can be fed expressions and statement

PSL-to-Mongo ContractIR interpreter for Prisma Next

Construct complex rules with JSON & process them.

Simple Kombinator Interpreter - a combinatory logic & lambda calculus parser and interpreter. Supports SKI, BCKW, Church numerals, and setting up assertions ('quests') involving all of the above.

Reusable parser for Prisma Schema Language (PSL)