Jason Dagit's repositories
rust-prolog
Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
logict-sequence
A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper
rust-monads
Just a playground for me to try out different monad related things in Rust
mm2tracker
Mega man 2 randomizer tracker
angband
A free, single-player roguelike dungeon exploration game
bevy-inspector-egui
Inspector plugin for the bevy game engine
bevy_editor_pls
In-App editor tools for bevy applications
bevy_flycam
Basic first-person fly camera for the Bevy game engine
cacao
Rust bindings for AppKit (macOS) and UIKit (iOS/tvOS). Experimental, but working!
druid-test
Testing druid + winit over ipc-channels
gui-exploration
Example GUI code
Idris2
A purely functional programming language with first class types
livesplit-core
livesplit-core is a library that provides a lot of functionality for creating a speedrun timer.
RandomMetroidSolver
VARIA Randomizer, Solver and Tracker for Super Metroid
sm
early version
twitch_oauth
Simple Rust example of oauth with twitch