Dockerfile for Intel SystemC Compiler

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

DecoupledIO-based serialization adapter

Chisel Fixed-Point Arithmetic Library

Bitwuzla binary mirror

Palmer's VLSI scripts

Lightweight Chisel template

Simple Docker HotCRP setup

MathSAT download mirror

Berkeley Analog Generator

No description provided.

Chisel: A Modern Hardware Design Language

Produce redistributable builds of Python

Chisel Multiclock Demos

Single-file Chisel design demo

Dockerfile for SuiteCRM

Quick and dirty scripts for QCAD Ubuntu packages

A template project for beginning new Chisel work

Fork of OpenOCD that has RISC-V support

Back up and restore docker volumes easily

Simple Dockerfile for Mattermost

Phabricator Dockerfile

Simple Mattermost bot that posts incoming messages from Postal

Docker image for supabase studio

EspoCRM utils: reminder e-mails and e-mail ingestion endpoints

Add-on example showing a button in Gmail

Automatic Python binding generation from JSON Schemas

Emil is a library for dealing with E-Mail in Scala.

👋 A set of useful tools for installing and running Postal.

ScalaTags is a small XML/HTML construction library for Scala.