OllieB's repositories
bang
Out of order RiscV
binance-official-api-docs
Official Documentation for the Binance APIs and Streams
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
concurrentqueue
A fast multi-producer, multi-consumer lock-free concurrent queue for C++11
esserv
Extra Small SErial Risc-V
flakes-warpx
nix flake for building warpx
freet
Free Monad with constraint kinds
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).
ghci-dap
ghci having DAP interface.
kicad-symbols
Official KiCad schematic symbol libraries for Kicad 5
linear-base
Standard library for linear types in Haskell.
liquid-base
Drop-in replacement for the base library, to use with Liquid Haskell
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
liquidhaskell
Liquid Types For Haskell
nangs
Solving Partial Differential Equations with Neural Networks
nixpkgs
Nix Packages collection
OpenTimer
A High-performance Timing Analysis Tool for VLSI Systems
Parser-SPEF
A Fast C++ Header-only Parser for Standard Parasitic Exchange Format (SPEF).
readerwriterqueue
A fast single-producer, single-consumer lock-free queue for C++
SalsaQueue
SALSA: Scalable and Low Synchronization NUMA-aware Algorithm for Producer-Consumer Pools
sta-rs
Static timing analysis engine in rust
store
Fast binary serialization in Haskell
text-format
A Haskell text formatting library optimized for ease of use and high performance.
threepenny-gui
GUI library that uses the web browser as a display.
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
yosys
Yosys Open SYnthesis Suite
yosys-symbiflow-plugins
Plugins for Yosys developed as part of the SymbiFlow project.