A post-modern modal text editor.

"Small vector" optimization for Rust: store up to a small number of items on the stack

OpenUI let's you describe UI using your imagination, then see it rendered live.

AI generated UI components

It's a New Kind of Wrapper for Exposing LLVM (Safely)

A fast in-memory rule engine

An APL-like programming language

Safe rust wrapper around CUDA toolkit

💤 A modern plugin manager for Neovim

🏙 A clean, dark Neovim theme written in Lua, with support for lsp, treesitter and lots of plugins. Includes additional themes for Kitty, Alacritty, iTerm and Fish.

NQP

Erlang MQTT 5.0 Client

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety an…

A stack-based array programming language

A gently curated list of companies using Haskell in industry

Solve puzzles. Learn CUDA.

Visualizing Weather Forecasts Through Landscape Imagery

Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers

Open source RabbitMQ: core server and tier 1 (built-in) plugins

🌒 Neovim plugin management inspired by Cargo, powered by luarocks

Rayon: A data parallelism library for Rust

Hermit for Rust.

Async CQL driver for Rust, optimized for ScyllaDB!

Exercism exercises in Clojure.

Rust port of Spice, a low-overhead parallelization library

Rust virtual machine and JIT compiler for eBPF programs

Repository hosting the open-source Nu Game Engine and related projects.

Refinement Types for Rust