Block or report user

Report or block Johnicholas

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Perpetuum Standalone Server

C# 30 18 Updated Apr 22, 2018

Library for counting and enumerating things.

Scala 29 1 Updated Oct 6, 2018

Attempts at fleshing out the concept of algorithmic violence.

49 2 Updated Feb 22, 2018

CC500: a tiny self-hosting C compiler

C 68 11 Updated Oct 27, 2017

Draws simple SVG sequence diagrams from textual representation of the diagram

JavaScript 5,870 830 Updated Jun 24, 2018

A simple application, a JSON store of products and lists of products, as a demonstration using Backbone.js.

JavaScript 84 14 Updated Apr 18, 2016

Lizard brain for game entities - a data-oriented behavior tree library in C

C++ 44 6 Updated Feb 9, 2012

Code for the "Grammar Variational Autoencoder" https://arxiv.org/abs/1703.01925

Python 126 38 Updated Oct 15, 2018

Temporal graph store abstraction layer.

Go 794 51 Updated Jul 11, 2018

a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

Idris 95 3 Updated Sep 12, 2018

property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input

C 415 22 Updated Oct 8, 2018
C 4 Updated Jun 15, 2017
26 7 Updated Aug 25, 2017

Exploration of methods for coloring t-SNE.

Jupyter Notebook 186 14 Updated Apr 13, 2017

Dynamic detection of likely invariants

C 44 23 Updated Oct 10, 2018

Random Access Zipper in OCaml

OCaml 11 2 Updated Dec 8, 2016

a general-purpose fuzzer

1,036 127 Updated Aug 14, 2018

Games and other software for the TRS-80 MC-10

Visual Basic 10 2 Updated Oct 7, 2018

A C math library targeted at games

C 447 86 Updated Sep 18, 2017

Functional data structures in C++

C++ 385 61 Updated May 1, 2015

Propositional logic in terms of if-then-else

Python 12 1 Updated Jul 15, 2017

A model checker for safe Petri nets based on partial-order semantics

C++ 7 1 Updated Feb 25, 2018

SC Mini is a "minimal" positive supercompiler

Haskell 22 11 Updated Aug 19, 2018

A tool to create, manage and analyze Wardley Maps.

JavaScript 64 15 Updated Mar 3, 2017

a modular 2D videogame framework

Lua 16 1 Updated Jul 7, 2016

A simple music making program

ActionScript 247 31 Updated Sep 4, 2018

Google Cloud Dataflow provides a simple, powerful model for building both batch and streaming parallel data processing pipelines.

153 33 Updated May 31, 2017

Fitch style proof constructor

JavaScript 9 3 Updated Mar 2, 2018

Materials for my Haskell eXchange 2015 talk

Agda 8 Updated Oct 11, 2015
Smalltalk 11 4 Updated Oct 2, 2018