A new (MLIR based) high-level IR for clang.

C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!

High performance UI layout library in C.

A fast bump allocation arena for Rust

An Odin + Raylib game template with Hot Reloading pre-setup

Common Lisp binding of raylib

Experiments in building "better" languages and tools; for some measure of better.

LLM based autonomous agent that conducts local and web research on any topic and generates a comprehensive report with citations.

Dataset manipulation library built on the top of tech.ml.dataset

A clojure framework for data science

Fast Clojure Matrix Library

A Clojure library designed to aid in the implementation of high performance algorithms and systems.

Rust interface for SCIP

Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.

Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.

A latex math mode engine in pure Julia.

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

Creusot helps you prove your code is correct in an automated fashion.

Kani Rust Verifier

A Python Compiler Design Toolkit

A cyber-physical programming environment

EDN reader for Common Lisp

Version 2 of the Climacs text editor.

An implementation of the Common Lisp Interface Manager, version II

CLIM for Emacs

MLIR For Beginners tutorial

Call python from Common Lisp

Common Lisp for Python

The native Clojure dialect hosted on LLVM

Build wasm4 games using Roc