Pinned Repositories
375
ao486
The ao486 is an x86 compatible Verilog core implementing all features of a 486 SX.
FSSim
peak
Peak : Processor Specification Language ala Newell and Bell's ISP
pycgrame
SMT-PNR
userspace-config
User space configuration (vim separate)
vimstuff
ast_tools
Toolbox for working with the Python AST
hwtypes
Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics
cdonovick's Repositories
cdonovick/peak
Peak : Processor Specification Language ala Newell and Bell's ISP
cdonovick/SMT-PNR
cdonovick/pycgrame
cdonovick/vimstuff
cdonovick/FSSim
cdonovick/375
cdonovick/userspace-config
User space configuration (vim separate)
cdonovick/attrs
Python Classes Without Boilerplate
cdonovick/cgra_pnr
cdonovick/cpython
The Python programming language
cdonovick/CS-350
cdonovick/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
cdonovick/grouppy
Python Group Library
cdonovick/importer-examples
cdonovick/LibCST
A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree
cdonovick/LUT_Tanh
octave Tanh lookup table
cdonovick/macrofun
Standards-defying functional-programming macros for the C preprocessor
cdonovick/magma_riscv_mini
magma port of https://github.com/ucb-bar/riscv-mini (chisel)
cdonovick/MagmaFPGA
From the recent magmathon
cdonovick/peak-examples
Peak circuits
cdonovick/peak-tutorial
cdonovick/ppqueue
Python Priority Queue
cdonovick/PTSim
Page table simulator
cdonovick/pysmt
pySMT: A library for SMT formulae manipulation and solving
cdonovick/python-dsl-examples
cdonovick/python-syntax
Python syntax highlighting for Vim
cdonovick/silica
cdonovick/Smart-Tabs
Use tabs for indent, spaces for alignment
cdonovick/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
cdonovick/vim-sygus
Syntax highlighting for sygus