Directory
Languages
Reviewed resources in Languages. 48 resources listed.
Aver
averlang.devA statically typed programming language designed for AI models to write and humans to review, with a Lean-checked certificate of proof obligations attached to compiled code.
Transformer VM
github.comA deterministic transformer-shaped virtual machine that compiles a small assembly language into a runtime, executes it with no randomness, and proves the resulting computation with a transparent STARK proof system.
nix-ast
z1-0.github.ioA Nix library, built on Haskell's hnix parser, that parses Nix expressions into a structured AST, lets you traverse and transform it with pure Nix functions, and renders or evaluates the result, plus a command-line tool for the same operations.
Posecode
posecode.orgA text language for describing human movement that can be parsed, validated and rendered in the browser as 3D animation, keeping the semantic decisions behind a motion readable instead of hidden in a black-box trajectory.
NovaStelo
github.comA block-style, Scratch-inspired programming environment for building multi-agent simulations, built on Pharo Smalltalk, where agents such as turtles or termites follow simple rules that produce emergent behaviour, in the StarLogo tradition.
mlx
github.comA syntax dialect that adds JSX-style expressions to OCaml, compiling them into plain OCaml function calls through a preprocessor.
MADOLA
madola.orgA domain-specific language that lets you write mathematical notation as literate, executable source code, compiling it to C++ or WebAssembly while auto-generating LaTeX-style documentation.
GeNN
genn-team.github.ioGeNN (GPU-enhanced Neuronal Networks) is a code-generation-based simulation environment for spiking neural network models, compiling network descriptions to native NVIDIA CUDA or AMD HIP code for GPU execution.
RgGen
rggen.github.ioRgGen is a Ruby-based code generator for ASIC, IP and FPGA engineers that turns a human-readable register-map specification into SystemVerilog RTL, a UVM register model, C header files and Markdown documentation.
Timeloop
timeloop.csail.mit.eduTimeloop is an infrastructure for modeling, mapping and generating code for dense and sparse tensor-algebra workloads on a range of hardware accelerator architectures.
Grace
trygrace.devGrace is a domain-specific functional programming language for prompting language models, with a built-in prompt function and a type checker that can infer the JSON schema an output should follow from how the result is used.
The crates.io package index
github.comThe registry index that Cargo, Rust's package manager, reads to resolve crate versions and their dependencies, available both as a Git repository and as an HTTP sparse-protocol index.
TypeScript Native Compiler
github.comA native ahead-of-time and JIT compiler for TypeScript built on LLVM and MLIR, compiling .ts files to native executables, WebAssembly, or running them directly through a built-in JIT without Node.js.
The Swift Package Index
swiftpackageindex.comThe list of Swift package repositories that the Swift Package Index accepts and indexes, open for anyone to submit a package to, with requirements for inclusion such as a valid Package.swift file and a tagged semantic-version release.
Tiramisu
tiramisu-compiler.orgA polyhedral compiler with a C++ API for expressing and optimizing fast, portable data-parallel computations such as linear algebra, tensor algebra, deep learning and image processing.
A tool that lets large language models be used natively in Lean for proof automation, suggesting tactics and premises and searching for proofs, using built-in models from LeanDojo or a model the user supplies.
shecc
github.comA self-hosting, educational optimizing C compiler that targets 32-bit Arm, AArch64, 32-bit RISC-V and x86-64, producing Linux ELF binaries.
IHaskell
github.comA Haskell kernel for Jupyter that lets you write and run Haskell code in Jupyter notebooks and the Jupyter console.
A collection of Go-specific AI agent skills, covering language idioms, testing, security and observability, that extend coding assistants such as Claude Code, Codex, Gemini and Cursor.
Modern Go Guidelines
github.comA set of guidelines that helps AI coding agents write modern, idiomatic Go by detecting a project's Go version and preferring newer language features and standard-library additions over older patterns.
gore
github.comA Go REPL with line editing, multi-line input, package-import completion, and automatic printing of declared values, evaluating each entered expression by running it as a Go program.
Rhai
github.comAn embedded scripting language and evaluation engine for Rust, with a JavaScript-and-Rust-like syntax, dynamic typing, and tight integration with native Rust functions and types.
Boa
github.comAn experimental JavaScript lexer, parser and interpreter written in Rust, supporting more than 90% of the current ECMAScript specification and embeddable as a Rust crate.
Wasmer
wasmer.ioA WebAssembly runtime that runs applications and AI agent code in sandboxed environments, with a command-line tool, an embeddable SDK for several languages, and control over file, network and environment access.