Noon van der Silk's Projects
A real-time, persistent, multiplayer version of Conway's Game of Life
A good looking terminal emulator which mimics the old cathode display...
Make a cool gif!
:cool: a neocities site for cool gifs :sunglasses:
Feature Engineering as Composable Functions
A blog engine written and proven in Coq.
Coq to Rust program extraction. The whole tree is on the original Coq code base.
Interactive theorem proving with Coq in vim.
A reproduction of the Core War game. Assembly compiler, Virtual Machine and GUI.
This repository contains the foundational libraries that make up the .NET Core development stack.
Core War's MARS implementation in Python
👁️ Isometric 3D Graphing / Rendering module for Haskell
A collection of small corpuses of interesting data for the creation of bots and similar stuff.
It's not a game, it's The Game.
The Powerful Pipeline Framework
A general purpose processing framework for corpora of scientific documents
Cosmology library for Julia
build-once run-anywhere c library
GPU-accelerated force graph layout and rendering
Main repo
Your quotidian Vim tip in 78 characters
Counterexamples in Type Systems
Counterfeit Monkey by Emily Short
Functional Programming Course
Exercises and notes from the Coursera Machine Learning Course by Andrew Ng.
A free and powerful system for awareness and research of the American judicial system.
Data on COVID-19 (coronavirus) cases, deaths, hospitalizations, tests • All countries • Updated daily by Our World in Data
Collaborative Editing for Vim
RabbitMQ microservice framework in Node.js