Showing 1-13 of 13 packages
A simple and straight-forward wrapper around forms that works as you would expect
Command-Option-Argument: Yet another parser for command line options.
A TypeScript Nullable<T> Type and Monad Compliant Utility Functions
Quizzes app for formalization checking and exercises.
Shallow embedding of Protocols using Agda dependent types
A query framework for the Jolie language
Parasut API client for NestJS
QASM, the low-level programming language for quantum circuit specification, implemented in TypeScript.
This project was bootstrapped with [Create React App](https://github.com/facebook/create-react-app).
TypeScript Tonnetz is a set of structures and functions from mathematical music theory
Main function factory for CycleJS
Object Oriented Programming (Classical), and Prototype Object Based Programming for Javascript
z2zlib - Zero-Knowledge State Channel Library