A small, statically-typed, expression-oriented programming language.

⌒ JavaScript on the BEAM

Lean 4 Zstandard (RFC 8878) decompression: C FFI bindings and pure-Lean implementation with formal proofs

Verified ByteArray primitives in C

nCPU: model-native and tensor-optimized CPU research runtimes with organized workloads, tools, and docs

Sweep: AI coding assistant for JetBrains

✨Functional and composable type utilities

Autonomous and goal-seeking coding agents. 💫

Locally running, hands-free ChatGPT UI

Documentation and reference generator for TypeScript projects

Decorate things. Find them at runtime.

A Higher-Kinded-Types encoding for TypeScript w/ Composable Typeclasses

Discord bot framework ontop Inversify.js and Discord.js

Ongoing Storj v3 development. Decentralized cloud object storage that is affordable, easy to use, private, and secure.

Typescript CLI and API to OpenAI's state-of-the-art machine learning platform.

A reasonable collection of plugins to use alongside your main esLint configuration

✨Zero Dependency Parser Combinator Library for JS Based on Haskell's Parsec

TypeScript Serialization module

A modern, await-based DynamoDB data mapper built on runtime types.

Previews Mermaid diagrams

Matrix manipulation and computation library

Casual experiments with cellular automata

Issue tracker for Codewars

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

Simple node.js expression parser and evaluator using shunting-yard and reverse polish notation algorithms

MechJeb2 - KSP mod