arjenroodselaar Goto Github PK

airlift

Airlift framework for building REST services

bazel_yosys

Import of some Yosys verification flows using Bazel

bsc

Bluespec Compiler (BSC)

buck

A fast build system that encourages the creation of small, reusable modules over a variety of platforms and languages.

cargo-raze

Generate Bazel BUILD from Cargo dependencies!

catch2

A modern, C++-native, header-only, test framework for unit-tests, TDD and BDD - using C++11, C++14, C++17 and later (or C++03 on the Catch1.x branch)

hho

A Golang to HHAS compiler

homebrew-cask

A CLI workflow for the administration of Mac applications distributed as binaries

homebrew-classics

A caskroom with some version pinned casks

linenoise-ng

A small self-contained alternative to readline and libedit that supports UTF-8 and Windows and is BSD licensed. This fork adds a Buck file for easier integration.

mqtt-for-twisted-python

An MQTT library written in Twisted Python

nextpnr

nextpnr portable FPGA place and route tool

ocaml

The core OCaml system: compilers, runtime system, base libraries

openlibm

High quality system independent, portable, open source libm implementation

sampleanalyzer

skidl

SKiDL is a module that extends Python with the ability to design electronic circuits.

spdlog

Fast C++ logging library.

symbiyosys

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

ulx3s

PCB for ULX3S FPGA R&D board

wine

yosys

Yosys Open SYnthesis Suite