Algebraic data types for C99

Visualize streams of multimodal data. Fast, easy to use, and simple to integrate. Built in Rust using egui.

Official Code for Stable Cascade

SPSC: A Small Positive Supercompiler

[CVPR 2024] MagicAnimate: Temporally Consistent Human Image Animation using Diffusion Model

Certora Init

Aggregates tables in Org mode

Server for PeerJS

Converts JSON to linked org table

A general platform based on Emacs to facilitate learning, teaching, research and project management.

Powerful machine learning, accelerated by WebGPU

Rust native ready-to-use NLP pipelines and transformer-based models (BERT, DistilBERT, GPT2,...)

the champagne of beta embedded databases

ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK

Group theory visualization software in the browser

ChatGPT and DALL-E Emacs shells + Org babel 🦄 + a shell maker for other providers

A simple LLM client for Emacs

Put ChatGPT in your emacs and give yourself arcane powers 🔮

RWKV is an RNN with transformer-level LLM performance. It can be directly trained like a GPT (parallelizable). So it's combining the best of RNN and transformer - great performance, fast inference,…

A new bootable USB solution.

Firmware for RepRap and other 3D printers

A starter template for Deno modules

A static verifier for Rust, based on the Viper verification infrastructure.

Safe Rust bindings to POSIX-ish APIs

Declarative Rust UI library

It's Magit! A Git Porcelain inside Emacs.

Spectral warping wavetable synth

Mac OS X cross toolchain for Linux, FreeBSD, OpenBSD and Android (Termux)

EVM disassembler

Symbolic execution engine written in Solidity, based on Difference Logic.