3D physics engine in Elm

A LLVM-based static analysis framework.

A planet scale, highly available, transactional database built on CRDT technology

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

Faster Verified Explanations for Neural Networks

Human guided generation of Regular Expressions from natural language

MLsem VS Code extension

A visualization grammar.

Open standard for machine learning interoperability

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

The CLI for Jinja2

Maintainable configuration files

A cinematic Git commit replay tool for the terminal, turning your Git history into a living, animated story.

🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.

Qalculate! library and CLI

Vector drawing library for SATySFi

PyTea: PyTorch Tensor shape error analyzer

The Flix Programming Language

Ormolu GitHub action

High quality text shaping in pure Go.

A compiler and scenario generator for the Scenic scenario description language.

Official upstream development repository for Cabal and cabal-install

Baremetal environment for "System programming lab" class in Dept. of Information Science, The University of Tokyo

Web API about 🍜

Emacs mode for justfiles

Wolfram Alpha integration

Emacs editing mode for Mathematica and inferior shell.

emacs mode for Wolfram Language