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 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 arpith, lazerwalker, brainwane, niftynei, punchagan, roberthoenig, tabbott, 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!


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


made by Abehmiel, submitted by porterjamesj
A python program for generating images with text that can only be read when you hold them nearly edge on to your eye—like from cereal boxes!

A simple VN engine

made by annainbrooklyn, crertel, submitted by porterjamesj
A great explanation of building a visual novel engine in JavaScript!


made by yeli, submitted by porterjamesj
Experience using the internet at common speeds in various countries.


made by aurora, submitted by porterjamesj
A raytracer in TypeScript, you can play with it online here:

Face the Music

made by oky, yeli, submitted by porterjamesj
Play music with your face! You can see the source code here:!/face-the-music