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!

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 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!

Pipet

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

pyedgeon

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!

Y-Fi

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

raytracer

made by aurora, submitted by porterjamesj
A raytracer in TypeScript, you can play with it online here: http://aurorayes.com/raytracer/

Face the Music

made by oky, yeli, submitted by porterjamesj
Play music with your face! You can see the source code here: https://glitch.com/edit/#!/face-the-music