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