Pinned Repositories
lofer-tc
minimal dependently typed language implemented in Rust, plus some of the type theory research I am using it for
adamant
minimal programming language being implemented from scratch in C
agda-experiments
Stuff I have proved in Agda. Mainly playing with things that could make a type theory more minimal.
city-sim
My latest and greatest attempt at simulating a city (C, Vulkan)
fix-math
Slow but arbitrary accuracy implementations of math functions, without using any floating points, for future use as sample functions for finding faster approximations.
HLink
Symlink management tool that allows powerful link structures without using any CLI or GUI.
JFall
A Java project for a computer science class
Py4School
https://spiveeworks.wordpress.com/2015/02/09/new-blog-not-really/
spell-craft_demo
Portable Rust app that lets the user create nested "particle effects" with un-pretty circles
tactics
working tech prototype of a multiplayer turn based game inspired by Frozen Synapse - implemented in Rust using Piston graphics
spiveeworks's Repositories
spiveeworks/tactics
working tech prototype of a multiplayer turn based game inspired by Frozen Synapse - implemented in Rust using Piston graphics
spiveeworks/vulkano-stubs
basic setup for Vulkan/Rust that I was using for games prototyping
spiveeworks/adamant
minimal programming language being implemented from scratch in C
spiveeworks/agda-experiments
Stuff I have proved in Agda. Mainly playing with things that could make a type theory more minimal.
spiveeworks/city-sim
My latest and greatest attempt at simulating a city (C, Vulkan)
spiveeworks/fix-math
Slow but arbitrary accuracy implementations of math functions, without using any floating points, for future use as sample functions for finding faster approximations.
spiveeworks/ae_voting_app
New Erlang-based voting app for the Aeternity Crypto Foundation
spiveeworks/aeserialization-rust
spiveeworks/agda
Agda is a dependently typed programming language / interactive theorem prover.
spiveeworks/algebraic-proof-assistant
A tool to verify line-by-line algebraic manipulations, in easily readable infix notation.
spiveeworks/Archives
Stubs and things finished without Git, in various languages. (Including some unnecessarily complicated Batch scripts)
spiveeworks/capital-game
Discord bot for hosting an incremental multiplayer crafting game.
spiveeworks/cowboy
Small, fast, modern HTTP server for Erlang/OTP.
spiveeworks/cowboy-demo
Simple erlang/cowboy backend to count how many times a button has been pressed.
spiveeworks/dotfiles
spiveeworks/foundational-plotting-environment
A plotting tool for testing and developing numerical approximations.
spiveeworks/interchat
Chat service.
spiveeworks/margins
Simple margins calculator, for demonstrating to people how much they could lose even from safe bets.
spiveeworks/modal_input_prompt
Small experiment in using IMGUI-style combined input/output functions to make command line interfaces.
spiveeworks/modular-c
module system of Modula/SML, applied to ANSI C
spiveeworks/modular-language
New hobby language, all the high level stuff I have worked out over the years, coming together in a pretty clean idea now.
spiveeworks/piston_app
all of my piston apps have the same main.rs, so this simple crate generalizes those using a trait
spiveeworks/plant-stats
little prototype - stats for crops that went evolutionary - not currently working on this since the long term plan has been done elsewhere
spiveeworks/proto-flop
confused language for a confused ambition, readme for conclusions :)
spiveeworks/quantum-binary-ternary
Honours Thesis: QUANTUM COMPUTATION IN MIXED BINARY-TERNARY SYSTEMS
spiveeworks/t3d-graphics-engine
Automatically exported from code.google.com/p/t3d-graphics-engine
spiveeworks/tech-jump
platformer being prototyped in lua (lol)
spiveeworks/treeshapes
(attempt at) Using spectra of matrix algebras to distinguish shapes of binary trees. A phylogenetics research project.
spiveeworks/v
Fork of the V programming language for my changes, mainly additions to the MSVC target.
spiveeworks/Vanillae
Ecommerce toolkit for interacting with the Aeternity blockchain as a payment solution