A FPGA friendly 32 bit RISC-V CPU implementation

Multi-platform nightly builds of open source digital design and verification tools

Python-based drawing tool for making sketches of mathematical and scientific problems.

Fast forward pull requests.

Export Github Actions job data as tracing with OpenTelemetly

A parser library for Go

MongoDB collection versioning and tracking

Open-source ConfigOps infrastructure ⚙️

Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.

Opinionated library for easily constructuring FHIR (http://hl7.org/fhir) resources in Scala and Java.

Simple python signaling

Updates major/minor release tags on a tag push.

fork mirror of shipcat up until july'21 since babylonhealth closed it soon after

CMake Test Explorer for Visual Studio Code

A collection of useful .gitignore templates

Beautiful multilingual API documentation theme for Hugo

A full-featured & carefully designed adaptive prompt for Bash & Zsh

Boto3, an AWS SDK for Python

Prevent cloud misconfigurations and find vulnerabilities during build-time in infrastructure as code, container images and open source packages with Checkov by Bridgecrew.

Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

Different types of proxies that can easily be used with AWS Lambda and CloudFront distribution behaviors to require auth for any content behind the distribution

simavr is a lean, mean and hackable AVR simulator for linux & OSX

A simple, straightforward SEO plugin for WordPress. Just the facts, Jack.