Discover @ekiwi Open Source projects

Kevin Laeufer (@ekiwi)

ekiwi

Stars
349
Global Rank 78,796 (Top 3 %)
Followers 220
Following 137
Registered about 12 years ago
Most used languages

Scala
19.5 %

Rust
19.5 %

C++
17.1 %

Python
9.8 %

Java
7.3 %

Verilog 7.3 %

Tcl 2.4 %

JavaScript
2.4 %

Jupyter Notebook
2.4 %

AGS Script 2.4 %

C#
2.4 %

HTML
2.4 %

SystemVerilog 2.4 %

C
2.4 %
Location 🇺🇸 United States
Country Total Rank 29,164
Country Ranking

SystemVerilog 46

Tcl 47

AGS Script 83

Verilog 318

Scala
522

Rust
856

C++
5,638

Jupyter Notebook
7,652

rfuzz

rfuzz: coverage-directed fuzzing for RTL research platform

wellen

wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.

rtl-fuzz-lab

A Modular Open-Source Hardware Fuzzing Framework

pynq

PYNQ with Chisel and Rust

rtl-repair

Fast Symbolic Repair of Hardware Design Code

simulator-independent-coverage

Project Repo for the Simulator Independent Coverage Research

open-source-formal-verification-for-chisel

Jupyter Notebook

fst-native

Native Rust implementation of the FST waveform format from GTKWave.

icesugar-chisel

Chisel Examples for the iCESugar FPGA Board

paso

A Chisel Integrated Specification and Verification Language.

baa

BitVector and Array Arithmetic library

patronus

work in progress, playing around with btor2 in rust

custom-afl-instrumentation

A small example on how to use a custom coverage/progress metric for AFL. Based on the llvm_mode from AFL.

chisel-sequences

sequence prototype

kiwi-formal

Experimental (formal) verification library for Chisel.

spec-impl

transactional-verification-with-protocols

Contains a prototype implementation of a transactional verification algorithm that uses protocols to connect functional model and implementation.

picojava2-archive

PicoJava2 RTL sources which are published under the Sun Community Source License, which is NOT a Open Source license.

ucta

micro controller trace analysis

guarded_atomic_actions

cs267-tutorials

Materials to help you with the cs267 homework.

chisel-verification-examples

components-next

Some experiments with loosely coupled components on microcontrollers.

utest-rs

an effort to develop a testing solution for rust on deeply embedded, bare metal targets

etm-test

Playing around with the micro controller execution tracing.

comparing-random-testing-and-bmc

xpcc-swd

port of scanlime's SWD code for the esp8266 to xpcc

serv-chisel

reimplementation of the serv core in Chisel (https://github.com/olofk/serv)

stm32f3-minimal-cdc

a minimal usb cdc loopback implementation for the stm32f3 discovery board using xpcc

darjeeling-jvm

git import of the embedded jvm from Delft University of Technology http://darjeeling.sourceforge.net

surfer

Fork of the original surfer repo for my own developments: https://gitlab.com/surfer-project/surfer

pyfirrtl

Generating FIRRTL from Python. Highly experimental. Do not use.

etm

Manages access to microcontroller targets connected to our CI server.

undergrad-exercises

Some exercises for undergraduates that work on research with me.

irpy

LLVM IR -> Python compiler from the hyper kernel ecosystem (https://github.com/locore/hv6)

cpp-playground

pushing the boundaries of my understanding of c++

sorta

playing around with MS prose

cpp-debugging-interactive-unit

Interactive instructional unit created as the course project for SCMATHE 220C at UC Berkeley.

ulader

backup battery powered bike lighting system inspired by the Forumslader project

ostfriesentee-examples

Example project for the Ostfriesentee embedded JVM.

jade-mirror

unofficial git mirror of http://jade.tilab.com/developers/source-repository/

python-compiler

Some helpful pluming for writing (DSL) compilers in python.

hwmcc20

Hardware Model Checking Competition 2020 Benchmarks and Results

ekiwi.github.io