Skip to content
View spiveeworks's full-sized avatar

Organizations

@omnigraph-team

Block or report spiveeworks

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. tactics tactics Public

    working tech prototype of a multiplayer turn based game inspired by Frozen Synapse - implemented in Rust using Piston graphics

    Rust 2

  2. lofer-lang/lofer-tc lofer-lang/lofer-tc Public

    minimal dependently typed language implemented in Rust, plus some of the type theory research I am using it for

    LiveScript 2

  3. adamant adamant Public

    minimal programming language being implemented from scratch in C

    C

  4. agda-experiments agda-experiments Public

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

    Agda

  5. city-sim city-sim Public

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

    C

  6. fix-math fix-math Public

    Slow but arbitrary accuracy implementations of math functions, without using any floating points, for future use as sample functions for finding faster approximations.

    Rust