Phillip Bonhomme's repositories
mlir-cookiecutter
Cookiecutter Template for MLIR Dialects
baremetal.nix
Developer Tools Installed Locally
CHALK.BNFC
Generate BNF Parser/AST for the CHALK IR/Dialect
circt
Circuit IR Compilers and Tools
devbox.nix
Developer Tools Installed via Devbox
dotfiles
Dotfiles for my Personal Development Environment
dotfiles.nix
Developer Environment Dotfiles, Powered by Nix
egg
egg is a flexible, high-performance e-graph library
syndex
Synthesis Database: Mapping LLHD Digital Logic to Arbitrary Domains via an ECS, backed by LibrEDA-DB
term-dev.nix
Terminal Development Environment Powered by Nix/Ansible
egglog
egraphs + datalog!
flecs-rs
Rust bindings for the Flecs ECS library
iron-shapes
Primitive data types and basic routines for Euclidean geometry in the plane. This is developed as a core geometry library of LibrEDA.
iron-shapes-booleanop
Boolean operations on polygons for the `iron-shapes` crate.
libreda-db
Layout and netlist data structures for the Rust LibrEDA framework.
livehd
Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation
llhd
Low Level Hardware Description — A foundation for building hardware design tools.
role.nix-binscripts
Scripts for Nix Developer Environment
role.nix-cpp
Nix Role for C/C++ Development Tools
role.nix-dot
Dotfiles for Nix Tools
role.nix-node-tools
Ansible Role for Installing Nix-Based Node Tools
role.nix-project-dev
Project Dev Settings for Nix Environment
role.nix-python-tools
Ansible role for installing pipx binary packages.
role.nix-rust-tools
Installer for Rust Tools
role.nix-tools
Nix Dev Tools(CLI)
splay
Splay map and splay set data structures.
tree-sitter-tcl
An automatically generated parser for Tcl
tree-sitter-tcl-1
TCL Parser for Tree-Sitter
yosys
Yosys Open SYnthesis Suite