Pinned Repositories
Latte.jl
A high-performance DSL for deep neural networks in Julia
ast_tools
Toolbox for working with the Python AST
fault
A Python package for testing hardware (part of the magma ecosystem)
hwtypes
Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics
pycoreir
Python bindings for coreir
silica
verilogAST-cpp
C++17 implementation of an AST for Verilog code generation
magma
magma circuits
hindemith
sejits_caffe
SEJITS port of the caffe framework
leonardt's Repositories
leonardt/fault
A Python package for testing hardware (part of the magma ecosystem)
leonardt/verilogAST-cpp
C++17 implementation of an AST for Verilog code generation
leonardt/hwtypes
Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics
leonardt/ast_tools
Toolbox for working with the Python AST
leonardt/pycoreir
Python bindings for coreir
leonardt/magma_riscv_mini
magma port of https://github.com/ucb-bar/riscv-mini (chisel)
leonardt/magma-session-types-experiments
Experiments with adding session types for hardware using magma
leonardt/.files
leonardt/magma_examples
magma port of https://github.com/ucb-bar/chisel-tutorial
leonardt/airspace-hugo
Airspace Hugo theme for multipurpose use, like Portfolio, Blog, Business.
leonardt/circt
Circuit IR Compilers and Tools
leonardt/config
leonardt/datacube_magma
DataCubeFPGA in Magma
leonardt/dotfiles
leonardt/icebreaker-workshop
iCEBreaker Workshop
leonardt/leidenalg
Implementation of the Leiden algorithm for various quality functions to be used with igraph in Python.
leonardt/linux-dotfiles
There's no place like ~/
leonardt/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
leonardt/magma
magma circuits
leonardt/mantle2
magma standard library (version 2)
leonardt/mlir-www
leonardt/notes
Zettelkasten published by neuron
leonardt/pono
Next generation cosa.
leonardt/pysv
leonardt/pytest-pycodestyle
pytest plugin to run pycodestyle
leonardt/Pyverilog
Python-based Hardware Design Processing Toolkit for Verilog HDL
leonardt/smart-components
leonardt/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
leonardt/sublime-scheme-alabaster
A light color scheme with minimal amount of highlighting for Sublime Text 3
leonardt/uinspect