pbonh

followers

0

following

stars

Synopsys

Portland, OR

https://www.linkedin.com/in/phillipbonhomme

Phillip Bonhomme's starred repositories

zellij

A terminal workspace with batteries included

Language:RustMIT20862 109 1931

just

🤖 Just a command runner

Language:RustCC0-1.020503 71 1022

material-shell

A modern desktop interface for Linux. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate windows in order to improve productivity. It's meant to be 100% predictable and bring the benefits of tools coveted by professionals to everyone.

Language:TypeScriptGPL-3.07261 81 659

github-issue-templates

🔣 A collection of GitHub issue, pull request and security templates

NOASSERTION4120 570

vim-floaterm

:computer: Terminal manager for (neo)vim

Language:Vim ScriptMIT2475 19 335

salsa

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

Language:RustApache-2.02109 33 204

circt

Circuit IR Compilers and Tools

Language:C++NOASSERTION1638 258 2065

xls

XLS: Accelerated HW Synthesis

Language:C++Apache-2.01195 64 1311

overseer.nvim

A task runner and job management plugin for Neovim

Language:LuaMIT1174 8 214

hydra.nvim

Create custom submodes and menus

Language:Lua1029 8 89

bsc

Bluespec Compiler (BSC)

Language:HaskellNOASSERTION935 48 310

zfsbootmenu

ZFS Bootloader for root-on-ZFS systems with support for snapshots and native full disk encryption

Language:ShellMIT840 17 190

alive2

Automatic verification of LLVM optimizations

Language:C++MIT764 23 472

distant

🚧 (Alpha stage software) Library and tooling that supports remote filesystem and process operations. 🚧

Language:Rust566 9 198

rust-algorithm-club

Learn algorithms and data structures with Rust

Language:RustMIT406 20 19

easypick.nvim

A neovim plugin that lets you easily create Telescope pickers from arbitrary console commands

Language:LuaMIT372 5 15

bender

A dependency management tool for hardware projects.

Language:RustApache-2.0232 10 61

neocmakelsp

Another cmake lsp

Language:RustMIT192 6 40

vs-tasks.nvim

A telescope plugin that runs tasks similar to VS Code's task implementation.

Language:Lua182 2 14

nvim-ts-rainbow

Rainbow parentheses for neovim using tree-sitter.

Language:LuaApache-2.0174 3 12

toggletasks.nvim

Neovim task runner: JSON/YAML + toggleterm.nvim + telescope.nvim

Language:LuaMIT156 3 18

nvim-config-local

Secure load local config files for neovim

Language:LuaMIT149 2 13

kami

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

Language:CoqMIT141 14 9

Limbo

Library for VLSI CAD Design Useful parsers and solvers' api are implemented.

Language:C++MIT140 11 1

gecs

a generated entity component system 🦎

Language:RustApache-2.0104 3 15

mlir-standalone-template

An out-of-tree MLIR dialect template.

Language:CMakeNOASSERTION88 4 6

telescope-tele-tabby.nvim

A telescope extension to switch tabs.

Language:Lua52 1 1

vacuumline.nvim

A prebuilt configuration for galaxyline inspired by airline

Language:LuaMIT28 10

tf-parser

Technology file parser in Rust

Language:RustApache-2.09 10

Liberty

Spirit X3 Liberty Format Parser. opensourceliberty.org for more info.

Language:C++NOASSERTION6 2 2