Pinned Repositories
arv
ARV: Asynchronous RISC-V Go High-level Functional Model
ascend-freepdk45
A free standard cell library for SDDS-NCL circuits
DataStructures
Generic Data Structures repository
drexpander
Pulsar dual-rail expander and HBCN constrainer
eqntott
Espresso's Equation to Truth Table from https://code.google.com/archive/p/eqntott/downloads
hemps
Respository with the main source code and generation files of the HeMPS framework
hsTCL
haskell TCL generator and parser (eventually interpreter)
netspooftools
Networking spoofing tools
pulsar
Pulsar asynchronous synthesis framework
riscv-tests
Test suite for RISCV processors
marlls1989's Repositories
marlls1989/arv
ARV: Asynchronous RISC-V Go High-level Functional Model
marlls1989/ascend-freepdk45
A free standard cell library for SDDS-NCL circuits
marlls1989/pulsar
Pulsar asynchronous synthesis framework
marlls1989/riscv-tests
Test suite for RISCV processors
marlls1989/immutable_string
marlls1989/verilog
A Verilog parser for Haskell.
marlls1989/drexpander
Pulsar dual-rail expander and HBCN constrainer
marlls1989/arv-coremark
marlls1989/astronvim-config
marlls1989/bitset-ng
A compact functional set data structure
marlls1989/coin_cbc
Rust bindings to the CoinOR CBC MILP Solveur using the C API.
marlls1989/dados-covid
Backup dados oficiais do ministerio da saude
marlls1989/genLiberateArcs
marlls1989/glpk-hs
Haskell bindings to glpk
marlls1989/hdl_examples
marlls1989/hf-risc
HF-RISC SoC
marlls1989/labeledgraph
A Graph Library for Rust
marlls1989/liberty
marlls1989/liberty-parse
Liberty format parser
marlls1989/nom-bibtex
A feature complete bibtex parser using nom
marlls1989/orca-mpsoc
This repository holds the hardware project for the ORCA MPSoC platform.
marlls1989/plex
a parser and lexer generator as a Rust procedural macro
marlls1989/prezto
The configuration framework for Zsh
marlls1989/riscv-decode
Simple library for decoding RISC-V instructions
marlls1989/rust-gurobi
Unofficial Rust API for Gurobi Optimizer
marlls1989/spellcheck
marlls1989/vcd_frequency
Quick Hack to extract the switching activity overtime from a vcd dump
marlls1989/verif
marlls1989/XTEA_Async
marlls1989/yosys
Yosys Open SYnthesis Suite