jrrk2 Goto Github PK

lowrisc-quickstart

Minimised environment for bandwidth limited sites

lowrisc-site

msat

A modular sat/smt solver with proof output.

nextpnr-xilinx

Experimental flows using nextpnr for Xilinx devices

ocaml-cohttp

An OCaml library for HTTP clients and servers using Lwt or Async

ocaml-gi-ctypes-bindings-generator

gi-bindings-generator : OCaml Loader that uses GObject-Introspection in order to automatically create Ctypes bindings for Gnome libraries.

ocaml-gobject-introspection

OCaml bindings to GObject-Introspection based on OCaml-Ctypes.

ocaml-javascript-parser

A JavaScript parser in OCaml

ocaml-sat-solvers

An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.

ocaml-ssl

OCaml SSL bindings.

ocaml-webmachine

A REST toolkit for OCaml

ocaml-zeit

:camel::small_red_triangle: Client library for the Zeit API & now.sh

opam-cross-windows

An OCaml cross-toolchain for Windows and several useful libraries

opam-repository

Main public package repository for opam, the source package manager of OCaml.

opam-windows-repository

Ocaml cross-compiler for Windows: packages description for OPAM

openfpgaloader

Universal utility for programming FPGA

openroad

OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/

openroad-flow-scripts

OpenROAD's scripts implementing an RTL-to-GDS Flow. Documentation at https://openroad-flow-scripts.readthedocs.io/en/latest/

openstellina

Stellina status display

opentitan

OpenTitan: Open source silicon root of trust

outputparser

piecash

Pythonic interface to GnuCash SQL documents

prjxray

Documenting the Xilinx 7-series bit-stream format.

prjxray-db

Project X-Ray Database: XC7 Series

qash

A programming language for double-entry accounting, inspired by Beancount.

restful.js

A pure JS client for interacting with server-side RESTful resources. Think Restangular without Angular.

risc-v-processor-with-pipelining

Implementation of the pipelined RISC V processor with many useful features as fully bypassing, dynamic branch prediction, single and multi cycle instructions, ALU unit works in parallel with a multiplication unit, and Reorder Buffer to guarantee in-order termination.

riscv-hpmcounters

A simple utility for doing RISC-V HPM perf monitoring.

riscv-openocd

Fork of OpenOCD that has RISC-V support

riscv-pk

RISC-V Proxy Kernel