Pierre Cochard (pchdev)

pchdev

Geek Repo

Company:Inria Emeraude

Location:Lyon, France

Github PK Tool:Github PK Tool


Organizations
WPN214

Pierre Cochard's starred repositories

Docker-OSX

Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.

Language:ShellLicense:GPL-3.0Stargazers:41813Issues:413Issues:613

tree-sitter

An incremental parsing system for programming tools

quickemu

Quickly create and run optimised Windows, macOS and Linux virtual machines

Language:ShellLicense:MITStargazers:10270Issues:78Issues:561

embassy

Modern embedded framework, using Rust and async.

Language:RustLicense:Apache-2.0Stargazers:5112Issues:42Issues:770

amber

💎 Amber the programming language compiled to bash

Language:RustLicense:GPL-3.0Stargazers:3774Issues:24Issues:171

awesome-typst

Awesome Typst Links

Language:Emacs LispLicense:CC0-1.0Stargazers:2087Issues:26Issues:26

circt

Circuit IR Compilers and Tools

Language:C++License:NOASSERTIONStargazers:1610Issues:252Issues:2045

verilog-axi

Verilog AXI components for FPGA implementation

Language:VerilogLicense:MITStargazers:1418Issues:52Issues:70

hls4ml

Machine learning on FPGAs using HLS

Language:C++License:Apache-2.0Stargazers:1213Issues:56Issues:404

xls

XLS: Accelerated HW Synthesis

Language:C++License:Apache-2.0Stargazers:1167Issues:63Issues:1270

polylux

A package for creating slides in Typst

Language:JuliaLicense:MITStargazers:1103Issues:9Issues:114

defmt

Efficient, deferred formatting for logging on embedded systems

Language:RustLicense:Apache-2.0Stargazers:788Issues:11Issues:330

pp4fpgas

Parallel Programming for FPGAs -- An open-source high-level synthesis book

Language:TeXLicense:CC-BY-4.0Stargazers:780Issues:56Issues:17

fpga-network-stack

Scalable Network Stack for FPGAs (TCP/IP, RoCEv2)

Language:C++License:BSD-3-ClauseStargazers:728Issues:84Issues:36

verilog-axis

Verilog AXI stream components for FPGA implementation

Language:PythonLicense:MITStargazers:704Issues:47Issues:21

llhd

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

Language:RustLicense:Apache-2.0Stargazers:392Issues:26Issues:139

typst-fletcher

Typst package for drawing diagrams with arrows, built on top of CeTZ.

Language:TypstLicense:MITStargazers:318Issues:3Issues:42

hlslib

A collection of extensions for Vitis and Intel FPGA OpenCL to improve developer quality of life.

Language:C++License:BSD-3-ClauseStargazers:297Issues:18Issues:29

gemm_hls

Scalable systolic array-based matrix-matrix multiplication implemented in Vivado HLS for Xilinx FPGAs.

Language:C++License:BSD-3-ClauseStargazers:296Issues:16Issues:29

concurrent-queue

Concurrent multi-producer multi-consumer queue

Language:RustLicense:Apache-2.0Stargazers:254Issues:7Issues:17

moore

A hardware compiler based on LLHD and CIRCT

Language:RustLicense:Apache-2.0Stargazers:245Issues:19Issues:225
Language:PythonLicense:NOASSERTIONStargazers:242Issues:29Issues:14

scalehls

A scalable High-Level Synthesis framework on MLIR

Language:MLIRLicense:NOASSERTIONStargazers:213Issues:15Issues:61

rtt-target

Target side implementation of the RTT (Real-Time Transfer) I/O protocol

Language:RustLicense:MITStargazers:105Issues:9Issues:27

tree-sitter-faust

Faust grammar for tree-sitter. Available in nvim-treesitter with `TSInstall faust`.

Language:CLicense:MITStargazers:6Issues:4Issues:0

FIR-FIlter_HLS

Designing a fully pipelined and parallel FIR filter with float and fixed-point datatype. Using the Kria KV260 FPGA, HLS and Pynq

Language:Jupyter NotebookStargazers:3Issues:0Issues:0
Language:FaustStargazers:2Issues:1Issues:0

csv-to-html

CLI to convert CSV to HTML Table

Language:HTMLStargazers:1Issues:1Issues:0