Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
A checkers game in chialisp that ensures that it continues from a single launcher and allows only valid moves
A partial experiment building a 64-bit kernel in idris. Very WIP, some things just barely work
clvm_tools ported to rust based on https://github.com/Chia-Mine/clvm_tools-js/, and chialisp-21 dialect with a new compiler.
Minimal code for node and rhino for running an elm worker
A library for creating combined encoders and decoders for Json in Elm, allowing composition.
Seeing something unexpected? Take a look at the
GitHub profile guide.