ekiwi Goto Github PK

jade-mirror

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

java-playground

extending my knowledge of Java

java-runtime-compile

javabdd

jinja2-playground

Some experiments with the template engine used in the XPCC library

kivagen

kiwi-formal

Experimental (formal) verification library for Chisel.

klee

KLEE Symbolic Virtual Machine

kwsonsnn

Master's project

kwsonsnn-2

lectures

Lectures for the Agile Hardware Design course in Jupyter Notebooks

led-table

c /c++ code and board files for a 8x8 RGB LED table

library-builder

Module based library builder for source code libraries

libsmt.rs

Rust Bindings to interact with SMTLIB2 compliant solvers

ligra

Ligra: A Lightweight Graph Processing Framework for Shared Memory

llvmlite

A lightweight LLVM python binding for writing JIT compilers

maltese

A symbolic execution engine for Chisel circuits.

mbed-scons

SCons rules for compiling a mbed library with gcc-arm

mudoku

A sudoku solver using LEGO and Matlab.

multi_port_mem

Implementing multi-port memories in FPGAs

open-source-formal-verification-for-chisel

ostfriesentee

a darjeeling fork for cortex-m microprocessors

ostfriesentee-examples

Example project for the Ostfriesentee embedded JVM.

p8x32a_emulation

Parallax Propeller source code

pain-ter

Upstream: https://github.com/salkinium/upainter. Excursion into the world of 2D graphics rendering on µ-controllers and simulation in Qt.

parsers

educational LL(1) parser generation code

paso

A Chisel Integrated Specification and Verification Language.

picojava2-archive

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

pixy

pixy CMUcam5

pyfirrtl

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