A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training

parsecco is a parser combinator library, written in Typescript.

🖼️ Create beautiful maps from OpenStreetMap data in a streamlit webapp

Always-Correct and Fast Incremental Builds from Simple Specifications

An Excel formula language parser, written in Typescript

WASM builds of the Z3 SMT solver

Fast explicit tail calls. In today's JavaScript!

Exact Inference Engine for Probabilistic Programs

Human-Computation Runtime

[ARCHIVED] Power commands for F# in Visual Studio

OneDrive SDK for Python! https://dev.onedrive.com

A repository of shared resources for the WeChat Distributed Chat System project for CMPSCI 691 at UMass Amherst.