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!


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!


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!


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.


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


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.


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