Pinned Repositories
bang
Out of order RiscV
binance-official-api-docs
Official Documentation for the Binance APIs and Streams
bnfc
BNF Converter
CategoriesPP
An attempt at Haskell in c++
clash-circuit
High-level Circuit abstractions in Clash
clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
clash-ltl-prim
Linear temporal logic primitives for working with Clash
clash-prelude
CLaSH prelude library containing datatypes and functions for circuit design
concurrentqueue
A fast multi-producer, multi-consumer lock-free concurrent queue for C++11
verilator-unisims
This is mainly a simulation library of xilinx primitives that are verilator compatible.
oliverbunting's Repositories
oliverbunting/bang
Out of order RiscV
oliverbunting/binance-official-api-docs
Official Documentation for the Binance APIs and Streams
oliverbunting/clash-circuit
High-level Circuit abstractions in Clash
oliverbunting/clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
oliverbunting/clash-ltl-prim
Linear temporal logic primitives for working with Clash
oliverbunting/concurrentqueue
A fast multi-producer, multi-consumer lock-free concurrent queue for C++11
oliverbunting/esserv
Extra Small SErial Risc-V
oliverbunting/flakes-warpx
nix flake for building warpx
oliverbunting/freet
Free Monad with constraint kinds
oliverbunting/ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
oliverbunting/ghci-dap
ghci having DAP interface.
oliverbunting/kicad-symbols
Official KiCad schematic symbol libraries for Kicad 5
oliverbunting/linear-base
Standard library for linear types in Haskell.
oliverbunting/liquid-base
Drop-in replacement for the base library, to use with Liquid Haskell
oliverbunting/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
oliverbunting/liquidhaskell
Liquid Types For Haskell
oliverbunting/nangs
Solving Partial Differential Equations with Neural Networks
oliverbunting/nixpkgs
Nix Packages collection
oliverbunting/OpenTimer
A High-performance Timing Analysis Tool for VLSI Systems
oliverbunting/Parser-SPEF
A Fast C++ Header-only Parser for Standard Parasitic Exchange Format (SPEF).
oliverbunting/readerwriterqueue
A fast single-producer, single-consumer lock-free queue for C++
oliverbunting/SalsaQueue
SALSA: Scalable and Low Synchronization NUMA-aware Algorithm for Producer-Consumer Pools
oliverbunting/sta-rs
Static timing analysis engine in rust
oliverbunting/store
Fast binary serialization in Haskell
oliverbunting/text-format
A Haskell text formatting library optimized for ease of use and high performance.
oliverbunting/threepenny-gui
GUI library that uses the web browser as a display.
oliverbunting/UHDM
Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, Visitor and Listener. Used as a compiled interchange format in between SystemVerilog tools. Compiles on Linux gcc, Windows msys2-gcc & msvc, OsX
oliverbunting/verilator
oliverbunting/yosys
Yosys Open SYnthesis Suite
oliverbunting/yosys-symbiflow-plugins
Plugins for Yosys developed as part of the SymbiFlow project.