A modular game engine and ECS for Haskell

agda-mode for neovim

Agda interaction pluging for neovim

Tvix - A Rust implementation of Nix. Read-only mirror of https://code.tvl.fyi/tree/tvix

A no-code or framework to build blazing fast EVM indexers - built in rust.

Pure Data Externals in Pure Rust

An attempt to better support Minecraft-related content for the Nix ecosystem

An audio plugin with Pure Data embedded that allows to load and to control patches

Rust VST3 and CLAP plugin framework and plugins - because everything is better when you do it yourself

An embedded scheme interpreter in Rust

Sound As Pure Form - a Forth-like language for audio synthesis using lazy lists and APL-like auto-mapping.

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

The Faust libraries

Functional programming language for signal processing and sound synthesis

🌐 Make websites accessible for AI agents. Automate tasks online with ease.

Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

Open-source E-ink monitor. Mirror of https://gitlab.com/zephray/glider

The Dao of Functional Programming

Javascript DOM bindings for Idris2

Utilities and documentation for exploring idirs2's new elaborator reflection.

Total lexer and parser for Idris2

Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]

Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.

NIx Language server, an incremental analysis assistant for writing in Nix.

peer-2-peer that just works