Giters
Julius Rakow (jrakow)

jrakow

Geek Repo

6

followers

2

following

24

stars

Location:Berlin

Github PK Tool:Github PK Tool

Julius Rakow's repositories

axis_testbench

An AXI stream testbench using files for test input

Language:VHDLStargazers:2Issues:2Issues:0

cargo-gc

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

ghdl-docker

Stargazers:0Issues:2Issues:0

ipfix_exporter

Language:VHDLStargazers:0Issues:2Issues:0

kmod-template

Language:MakefileLicense:GPL-2.0Stargazers:0Issues:2Issues:0

libipfix

Language:RustLicense:MITStargazers:0Issues:0Issues:0

nan-preserving-float

Language:RustStargazers:0Issues:2Issues:0

wassup

Language:RustLicense:MITStargazers:0Issues:3Issues:0

z3.rs

Rust bindings for the Z3 solver.

Language:RustStargazers:0Issues:3Issues:0