drocta's repositories
EthereumUtils
A collection of javascript files for use in go-ethereum geth javascript console.
py-Ordinals
Handles Hessenberg natural addition, multiplication, and compairison of ordinal numbers less than epsilon_0. Uses Cantor Normal Form.
TILDE-ATH-Parser
This is a parser for ~ATH code. It may or may not be used by the interpreter in the future.
-ATH
This is a python interpreter for drocta ~ATH
ActiveCalendar
python library for keeping track of what events from an icalendar file become active/inactive over time, in turn using the libraries icalendar and recurring_ical_events
antiPool
An attempt to incentivise non pooled mining over pooled mining on Ethereum. Written in solidity.
englishXBarParse
This is a program/library for parsing English sentences via X-bar theory.
orthogonal-free-surjective
Attempting to prove a theorem in category theory about free objects, orthogonal morphisms, and surjective functions.
permutation
Permutations of finitely many positive integers
questQuest
A text adventure engine
Sbluh
A Sburb console clone, with some neat extra features.
someParser
This is based on http://lisperator.net/pltut/ but it is in python instead, and other things are different.
wordUsageAnalyzer
analyze the word usage of different characters (designed for homestuck)