pbonh

yosys

Yosys Open SYnthesis Suite

lalrpop

LR(1) parser generator for Rust

orgmode

Orgmode clone written in Lua for Neovim 0.9+.

flash.nvim

Navigate your code with search labels, enhanced character motions and Treesitter integration

fzf-lua

Improved fzf.vim written in lua

nix-direnv

A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]

cli

A reference implementation for the specification that can create and configure a dev container from a devcontainer.json.

slotmap

Slotmap data structure for Rust

hecs

A handy ECS

rust-typed-builder

Compile-time type-checked builder derive

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

nvim-remote-containers

Develop inside docker containers, just like VSCode

carapace-bin

multi-shell multi-command argument completer

indextree

Arena based tree 🌲 structure by using indices instead of reference counted pointers

rocks.nvim

🌒 Neovim plugin management inspired by Cargo, powered by luarocks

savage

A primitive computer algebra system

euclid

Geometry primitives (basic linear algebra) for Rust

plex

a parser and lexer generator as a Rust procedural macro

llhd

Low Level Hardware Description — A foundation for building hardware design tools.

ascent

logic programming in Rust

anymap

A safe and convenient store for one value of each type

veshell

Veshell is a Wayland compositor providing an innovative workflow that utilizes humans natural spatial cognition to enhance navigation and organization in the digital environment.

higher

Your favourite Haskell type classes for Rust

wf.nvim

A modern which-key for neovim

format-on-save.nvim

Automatically formats files when saving using either LSP or shell utilities like prettierd or shfmt

luarocks.nvim

Easily install luarocks with lazy.nvim

treeedb

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.

cas-rs

An opinionated computer algebra system written in Rust, used by CalcBot.

bddbddb

mhgl

Matts Hypergraph Library