Open Source Formal Verification in VHDL

made by pepijndevos, submitted by porterjamesj
In this post, Pepjin demonstrates synthesizing a CPU using a hardware description language and verifying its correctness using entirely open source tools!

Mandeltone

made by blinry, Winston, submitted by Winston
Listen to the Mandelbrot set! We remotely paired (New York / Germany) and found Glitch as a great platform to do so!

Plottyprint

made by utopia, submitted by nicholasbs
A small library for easily creating data visualizations intended for printing on paper.

NY Times First Said

made by Max Bittker, submitted by Mai
A twitter bot that tracks when the New York Times publishes a word for the first time in its history!

EGSAssembly

made by Theoriz_se, submitted by porterjamesj
An improved algorithm for assembling genomes from high-throughput sequencing data that combines some of the best features of previous approaches.

briscalone

made by fewf, submitted by porterjamesj
A JavaScript implementation of the classic Italian trick-taking card game.

Zulip

made by tabbott, roberthoenig, punchagan, niftynei, brainwane, lazerwalker, arpith, submitted by porterjamesj
Zulip is powerful open-source chat software with a unique nested threading model that makes it really easy to catch up on conversations. We use it every day at RC!

Flappy Royale

made and submitted by lazerwalker
An open-source 100-player Flappy Bird battle royale, written in TypeScript!

Best Clock, Beef Clock

made by steve_shipman, submitted by davidbalbert
A clock that is never right, and unpredictable, but always looks plausibly correct.

Pipet

made by dbalan, submitted by porterjamesj
A personal snippet manager written in Go.