Jarvis Carroll's repositories
vulkano-stubs
basic setup for Vulkan/Rust that I was using for games prototyping
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.
ae_voting_app
New Erlang-based voting app for the Aeternity Crypto Foundation
agda
Agda is a dependently typed programming language / interactive theorem prover.
algebraic-proof-assistant
A tool to verify line-by-line algebraic manipulations, in easily readable infix notation.
Archives
Stubs and things finished without Git, in various languages. (Including some unnecessarily complicated Batch scripts)
capital-game
Discord bot for hosting an incremental multiplayer crafting game.
cowboy
Small, fast, modern HTTP server for Erlang/OTP.
cowboy-demo
Simple erlang/cowboy backend to count how many times a button has been pressed.
foundational-plotting-environment
A plotting tool for testing and developing numerical approximations.
interchat
Chat service.
margins
Simple margins calculator, for demonstrating to people how much they could lose even from safe bets.
modal_input_prompt
Small experiment in using IMGUI-style combined input/output functions to make command line interfaces.
modular-c
module system of Modula/SML, applied to ANSI C
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.
piston_app
all of my piston apps have the same main.rs, so this simple crate generalizes those using a trait
plant-stats
little prototype - stats for crops that went evolutionary - not currently working on this since the long term plan has been done elsewhere
proto-flop
confused language for a confused ambition, readme for conclusions :)
quantum-binary-ternary
Honours Thesis: QUANTUM COMPUTATION IN MIXED BINARY-TERNARY SYSTEMS
t3d-graphics-engine
Automatically exported from code.google.com/p/t3d-graphics-engine
tech-jump
platformer being prototyped in lua (lol)
treeshapes
(attempt at) Using spectra of matrix algebras to distinguish shapes of binary trees. A phylogenetics research project.
v
Fork of the V programming language for my changes, mainly additions to the MSVC target.
Vanillae
Ecommerce toolkit for interacting with the Aeternity blockchain as a payment solution