pbonh

pbonh's Stars

• YosysHQ/yosys

  Yosys Open SYnthesis Suite

  Language:C++3.4k1371.7k874

• lalrpop/lalrpop

  LR(1) parser generator for Rust

  Language:Rust3k34424289

• nvim-orgmode/orgmode

  Orgmode clone written in Lua for Neovim 0.9+.

  Language:Lua3k22442130

• folke/flash.nvim

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

  Language:Lua2.4k521432

• ibhagwan/fzf-lua

  Improved fzf.vim written in lua

  Language:Lua2.2k131.1k143

• nix-community/nix-direnv

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

  Language:Shell1.7k16176101

• devcontainers/cli

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

  Language:TypeScript1.5k30378207

• orlp/slotmap

  Slotmap data structure for Rust

  Language:Rust1.1k157770

• Ralith/hecs

  A handy ECS

  Language:Rust9601411982

• souffle-lang/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.

  Language:C++91041855200

• idanarye/rust-typed-builder

  Compile-time type-checked builder derive

  Language:Rust90898352

• jamestthompson3/nvim-remote-containers

  Develop inside docker containers, just like VSCode

  Language:Lua87072525

• carapace-sh/carapace-bin

  multi-shell multi-command argument completer

  Language:Go847719746

• saschagrunert/indextree

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

  Language:Rust669113255

• nvim-neorocks/rocks.nvim

  🌒 Neovim plugin management inspired by Cargo, powered by luarocks

  Language:Lua657618312

• p-e-w/savage

  A primitive computer algebra system

  Language:Rust56661412

• servo/euclid

  Geometry primitives (basic linear algebra) for Rust

  Language:Rust45826112102

• goffrie/plex

  a parser and lexer generator as a Rust procedural macro

  Language:Rust41083528

• fabianschuiki/llhd

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

  Language:Rust3922613930

• s-arash/ascent

  logic programming in Rust

  Language:Rust38772116

• chris-morgan/anymap

  A safe and convenient store for one value of each type

  Language:Rust32682742

• free-explorers/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.

  Language:Dart2661953

• bodil/higher

  Your favourite Haskell type classes for Rust

  Language:Rust2171328

• Cassin01/wf.nvim

  A modern which-key for neovim

  Language:Lua2083133

• elentok/format-on-save.nvim

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

  Language:Lua1572135

• vhyrro/luarocks.nvim

  Easily install luarocks with lazy.nvim

  Language:Lua762236

• langston-barrett/treeedb

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

  Language:Rust583188

• ElectrifyPro/cas-rs

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

  Language:Rust29122

• joewhaley/bddbddb

  Language:Java9201

• matthagan15/mhgl

  Matts Hypergraph Library

  Language:Rust6100