spiveeworks Goto Github PK

adamant

minimal programming language being implemented from scratch in C

ae_voting_app

New Erlang-based voting app for the Aeternity Crypto Foundation

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-experiments

Stuff I have proved in Agda. Mainly playing with things that could make a type theory more minimal.

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)

bwapi-squaddo

A Broodwar API stub about managing Units using OOP magic

byte_tools

library for casting between objects and byte-streams, and containers for storing disparate data structures as one long byte stream

capital-game

Discord bot for hosting an incremental multiplayer crafting game.

circle-collision-demo

experiment that ended with circles raymarching to collide with eachother in real time

circuits

Library and GUI for making virtual logic circuits without voltages

city-sim

My latest and greatest attempt at simulating a city (C, Vulkan)

civil

old C++ implementation of Civil. Spent most of my time implementing what turned out to be Rust's type system.

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.

crafty

Some brief design notes, from when I was interested in making a general purpose crafting calculator

dotfiles

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.

foundational-plotting-environment

A plotting tool for testing and developing numerical approximations.

hlink

Symlink management tool that allows powerful link structures without using any CLI or GUI.

interchat

Chat service.

iter_queue

a priority queue for merging many monotonic iterators

jfall

A Java project for a computer science class

margins

Simple margins calculator, for demonstrating to people how much they could lose even from safe bets.

metajump

modal_input_prompt

Small experiment in using IMGUI-style compined 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.

non_strict

delayed evaluation wrappers for FnOnce closures, memoization, etc.

owned_rc

broken wrapper for Rc<RefCell<_>> that emulates Box ownership (single strong pointer, many weak pointers)