Clojure & ClojureScript Interactive Programming for VS Code

Julia Interface to https://github.com/compiler-research/CppInterOp

Java Native Access

JPassport

A simple open-source chat app that uses Exa's API for web search and Deepseek R1 for reasoning

Fil-C: completely compatible memory safety for C and C++

🤘 TT-NN operator library, and TT-Metalium low level kernel programming model.

A private messenger for Android.

Command-line program to download videos from YouTube.com and other video sites

An educational resource to help anyone learn deep reinforcement learning.

Circuit IR Compilers and Tools

🍊

Simple macOS app bundle for Ghidra installed via Homebrew

Lisp Linear Algebra

Generic function interface to standard Common Lisp functions

Scala bindings for LibTorch

Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023

A standard API for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)

Development repository for the Triton language and compiler

This project aims to enhance the working environment on Windows

Open-source codebase for EfficientZero, from "Mastering Atari Games with Limited Data" at NeurIPS 2021.

Circuits and hardware security modules formally verified with Knox 🔐

A small, fast, and embeddable programming language based on Lua with a gradual type system.

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Snakes on the web? I think they're getting eaten.

How to write a very simple JIT compiler