dagit/goofgenie

A game genie-like tool for SNES that uses the usb2snes protocol to edit memory

Language: Rust - Size: 15.6 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 1

dagit/annelid

Speedrun timer with autosplitter for fxpak/sd2snes

Language: Rust - Size: 524 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 13 - Forks: 2

dagit/bevy_flycam Fork of sburris0/bevy_flycam

Basic first-person fly camera for the Bevy game engine

Language: Rust - Size: 113 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

dagit/bevy_editor_pls Fork of jakobhellermann/bevy_editor_pls

In-App editor tools for bevy applications

Language: Rust - Size: 13 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

dagit/bevy-inspector-egui Fork of jakobhellermann/bevy-inspector-egui

Inspector plugin for the bevy game engine

Language: Rust - Size: 13.9 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

dagit/metconst-tool

Language: Rust - Size: 98.6 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

dagit/livesplit-core Fork of LiveSplit/livesplit-core

livesplit-core is a library that provides a lot of functionality for creating a speedrun timer.

Language: Rust - Size: 8.15 MB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

dagit/freetype2

My personal branch of the freetype2 source code

Language: C - Size: 12.6 MB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 14 - Forks: 11

dagit/seedbot

Discord bot to generate mm2 randomizer seeds

Language: Rust - Size: 140 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

dagit/happy-plus-alex

Template for quickly and easily combining happy and alex

Language: Logos - Size: 188 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 46 - Forks: 8

dagit/sm Fork of snesrev/sm

early version

Language: C - Size: 1.66 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

dagit/gui-exploration

Example GUI code

Language: Rust - Size: 365 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

dagit/dotfiles

My configuration files like ~/.zshrc, ~/.vimrc, etc.

Language: Emacs Lisp - Size: 33.2 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 5 - Forks: 0

dagit/Cyclone-Language

My branch of the Cyclone programming language

Language: C - Size: 146 MB - Last synced: about 1 year ago - Pushed: almost 13 years ago - Stars: 17 - Forks: 8

dagit/logict-sequence

A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper

Language: Haskell - Size: 107 KB - Last synced: 4 days ago - Pushed: over 1 year ago - Stars: 9 - Forks: 3

dagit/rust-monads

Just a playground for me to try out different monad related things in Rust

Language: Rust - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 4 - Forks: 0

dagit/rust-prolog

Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html

Language: Rust - Size: 99.6 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 78 - Forks: 2

dagit/druid-test

Testing druid + winit over ipc-channels

Language: Rust - Size: 22.5 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

dagit/nehe-tuts

OpenGL NeHe tutorials converted to Haskell

Language: Haskell - Size: 527 KB - Last synced: about 1 year ago - Pushed: almost 11 years ago - Stars: 35 - Forks: 6

dagit/angband Fork of angband/angband

A free, single-player roguelike dungeon exploration game

Size: 112 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

dagit/cacao Fork of ryanmcgrath/cacao

Rust bindings for AppKit (macOS) and UIKit (iOS/tvOS). Experimental, but working!

Size: 657 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

dagit/RandomMetroidSolver Fork of theonlydude/RandomMetroidSolver

VARIA Randomizer, Solver and Tracker for Super Metroid

Size: 66.4 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

dagit/language-fortran

Haskell parser and manipulation functions for Fortran code

Language: Bison - Size: 646 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 17 - Forks: 8

dagit/rs-tiled Fork of mapeditor/rs-tiled

Reads files from the Tiled editor into Rust

Language: Rust - Size: 122 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

dagit/Idris2 Fork of idris-lang/Idris2

A purely functional programming language with first class types

Language: Idris - Size: 22.1 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

dagit/hs6502

Pure Haskell Emulator for the 6502 CPU

Language: Haskell - Size: 16.6 KB - Last synced: about 1 year ago - Pushed: almost 8 years ago - Stars: 9 - Forks: 2

dagit/proctor

A simple proof of concept HTTP proxy

Language: Rust - Size: 10.7 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0

dagit/zenc

GHC's Core name mangling (Z-Encoding)

Language: Haskell - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 4 - Forks: 1

dagit/imgui-rs Fork of imgui-rs/imgui-rs

Rust bindings for ImGui

Language: Rust - Size: 207 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

dagit/emu-test

timing different ways to implement a cycle accurate emulator

Language: Rust - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 1 - Forks: 1

dagit/twitch_oauth

Simple Rust example of oauth with twitch

Language: Rust - Size: 16.6 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

dagit/twitch-oauth Fork of shempignon/twitch-oauth

Language: Rust - Size: 11.7 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

dagit/srl-http

Rust binding to the speedrunslive HTTP API

Language: Rust - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

dagit/ztee

Implementation of tee that produces compressed file output.

Language: Rust - Size: 2.93 KB - Last synced: 15 days ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0

dagit/MM2Random Fork of duckfist/MM2Random

Mega Man 2 Randomizer

Language: C# - Size: 713 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

dagit/LiveSplit Fork of LiveSplit/LiveSplit

A sleek, highly-customizable timer for speedrunners

Language: C# - Size: 42.1 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

dagit/helisp

Elisp compiler

Language: Haskell - Size: 375 KB - Last synced: about 1 year ago - Pushed: about 12 years ago - Stars: 3 - Forks: 0

dagit/SpreadsheetML Fork of GaloisInc/SpreadsheetML

Haskell modules for generating SpreadsheetML (Excel files)

Language: Haskell - Size: 113 KB - Last synced: about 1 year ago - Pushed: about 11 years ago - Stars: 1 - Forks: 3

dagit/7drl2017

Language: Haskell - Size: 29.3 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 2 - Forks: 0

dagit/linebreak-text

Simple functions to break a Text to fit a maximum text width, using Knuth-Liang hyphenation algorhitm. Based on the linebreak package by Francesco Ariis.

Language: Haskell - Size: 19.5 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0

dagit/autoproc

Autoproc is a utility/language for email filtering. Autoproc makes it easy to define filtering rules. The rules define a Haskell program, that when executed generates a valid Procmail recipes file. This file can then be used with Procmail to sort and filter your email before you see it.

Language: Haskell - Size: 95.7 KB - Last synced: about 1 month ago - Pushed: almost 8 years ago - Stars: 2 - Forks: 1

dagit/mizar-parser

Haskell parser for Mizar

Language: Haskell - Size: 109 KB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 1 - Forks: 0

dagit/cabal-quirk

buggy cabal file

Size: 97.7 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 1 - Forks: 0

dagit/physics

Physics engine in Haskell

Language: Haskell - Size: 109 KB - Last synced: about 1 year ago - Pushed: almost 11 years ago - Stars: 4 - Forks: 0

dagit/matrix-marks

Micro benchmarks for matrix and vector computations.

Language: Haskell - Size: 91.8 KB - Last synced: about 1 year ago - Pushed: almost 11 years ago - Stars: 1 - Forks: 1

dagit/edit-patterns

Language: Haskell - Size: 1.24 MB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 3 - Forks: 0

dagit/1GAM

My public attempts at the one game a month challenge

Language: Haskell - Size: 305 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 4 - Forks: 0

dagit/dagit.github.io

my github pages

Language: Haskell - Size: 504 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 3 - Forks: 0

dagit/agda

Agda is a dependently typed programming language. This is a clone of the Agda darcs repo that can be found at http://code.haskell.org/Agda.

Language: Haskell - Size: 49.6 MB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 2 - Forks: 0

dagit/lin-alg

Haskell library for low-dimensional linear algebra, especially graphics and physics numeric calculations

Language: Haskell - Size: 7.81 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 2 - Forks: 0

dagit/haray

Haskell-based ray tracer

Language: Haskell - Size: 1 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 8 - Forks: 0

dagit/missing-foreign

Convenience functions for FFI work in Haskell

Language: Haskell - Size: 97.7 KB - Last synced: about 1 year ago - Pushed: about 12 years ago - Stars: 2 - Forks: 1

dagit/streamgraph

Create nice stream graphs from a set of data points.

Language: Haskell - Size: 97.7 KB - Last synced: about 1 year ago - Pushed: about 12 years ago - Stars: 2 - Forks: 0

dagit/boab

boab, obstensibly a b-tree, is a Haskell B+ tree implementation.

Language: Haskell - Size: 93.8 KB - Last synced: about 1 year ago - Pushed: over 13 years ago - Stars: 2 - Forks: 1

dagit/paragraphids

A small utility to give named ids to paragraph tags in html files

Language: Haskell - Size: 89.8 KB - Last synced: about 1 year ago - Pushed: over 13 years ago - Stars: 2 - Forks: 0

dagit/snippet-extractor

Extract labeled snippets of code and puts them in separate files.

Language: Haskell - Size: 97.7 KB - Last synced: about 1 year ago - Pushed: over 13 years ago - Stars: 2 - Forks: 0

dagit/mm2tracker

Mega man 2 randomizer tracker

Language: Rust - Size: 806 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

dagit/martin-lof Fork of michaelt/martin-lof

papers of Per Martin Löf

Language: TeX - Size: 121 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0

dagit/reopt-vcg Fork of GaloisInc/reopt-vcg

Language: Lean - Size: 112 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

dagit/rust-2d-demo

Language: Rust - Size: 71.3 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 2 - Forks: 1

dagit/font-rs Fork of raphlinus/font-rs

Language: Rust - Size: 35.2 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

dagit/NintendoSpy Fork of jaburns/NintendoSpy

Live controller viewer for Nintendo consoles. Includes viewer application for Windows, and Arduino sketch for hardware interface.

Language: C# - Size: 115 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

dagit/mega-tas

Mega Man tool assisted speedruns

Size: 13.7 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

dagit/PurePong

PureScript pong implementation

Language: JavaScript - Size: 6.84 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0

dagit/pyelftools Fork of eliben/pyelftools

Pure-python library for parsing ELF and DWARF

Language: Python - Size: 1.53 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

dagit/mattermost-api-reference Fork of mattermost/mattermost-api-reference

Mattermost API reference documentation.

Language: Makefile - Size: 13.6 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

dagit/mattermost-api-gen Fork of matterhorn-chat/mattermost-api-gen

Tool for generating api binding for MatterMost

Language: Haskell - Size: 35.2 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

dagit/mattermost-api Fork of matterhorn-chat/mattermost-api

Client side API for communicating with a mattermost server in Haskell

Language: Haskell - Size: 299 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

dagit/LiveSplit.SplitsBet Fork of Gyoo/LiveSplit.SplitsBet

GitHub for the LiveSplit plugin SplitsBet, the bot that makes the viewers play with the runner

Language: C# - Size: 1.02 MB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

dagit/rogue-prototype-like

Prototype of using Brick to make a roguelike hud

Size: 2.93 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

dagit/lazyfoo-rs

Rust translations of the lazy foo SDL2 tutorials

Language: Rust - Size: 1.1 MB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

dagit/vty Fork of jtdaugherty/vty

A high-level ncurses alternative written in Haskell

Language: Haskell - Size: 2.93 MB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

dagit/gl-utils

Rust utility code for working with opengl

Language: Rust - Size: 8.79 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

dagit/blt Fork of GaloisInc/blt

Lattice-based integer linear programming solver

Language: C++ - Size: 6.53 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 1

dagit/libacirc Fork of 5GenCrypto/libacirc

C library for parsing, evaluating, and decomposing acirc format arithmetic circuits

Language: C - Size: 109 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

dagit/circuit-synthesis Fork of spaceships/circuit-synthesis

Language: Haskell - Size: 131 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

dagit/rust-sdl2 Fork of Rust-SDL2/rust-sdl2

SDL2 bindings for Rust

Language: Rust - Size: 5.62 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

dagit/glium-sdl2 Fork of nukep/glium-sdl2

An SDL2 backend for Glium

Language: Rust - Size: 5.88 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

dagit/emacs-racer Fork of racer-rust/emacs-racer

Racer support for Emacs

Language: Emacs Lisp - Size: 290 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

dagit/HexGrid

http://catlikecoding.com/unity/tutorials/hex-map-1/

Language: C# - Size: 321 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

dagit/HTML5CanvasExamples

Examples from the book 'Core HMTL5 Canvas' by David Geary

Language: JavaScript - Size: 6.84 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0

dagit/lalrpop Fork of lalrpop/lalrpop

LR(1) parser generator for Rust

Language: Rust - Size: 4.13 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

dagit/UnityProceduralGrid

Following this tutorial: http://catlikecoding.com/unity/tutorials/procedural-grid/

Language: F# - Size: 1.45 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

dagit/matterhorn Fork of matterhorn-chat/matterhorn

Terminal client for MatterMost chat system

Language: Haskell - Size: 324 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

dagit/brick Fork of jtdaugherty/brick

A declarative terminal UI programming library written in Haskell (releases at http://hackage.haskell.org/package/brick)

Language: Haskell - Size: 645 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

dagit/text-zipper Fork of jtdaugherty/text-zipper

A text editor zipper libary

Language: Haskell - Size: 24.4 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

dagit/Earley Fork of ollef/Earley

Parsing all context-free grammars using Earley's algorithm in Haskell.

Language: Haskell - Size: 183 KB - Last synced: about 1 year ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

dagit/haskell-platform Fork of haskell/haskell-platform

Language: Haskell - Size: 2.9 MB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

dagit/capdl Fork of seL4/capdl

Language: Haskell - Size: 307 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

dagit/DungeonMaintainers

7DRL entry

Language: F# - Size: 66.4 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

dagit/RogueSharpTest1

My attempt at this tutorial: https://roguesharp.wordpress.com/

Language: F# - Size: 27.3 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

dagit/ivory Fork of GaloisInc/ivory

The Ivory EDSL

Language: Haskell - Size: 2.6 MB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

dagit/rust Fork of rust-lang/rust

A safe, concurrent, practical language.

Language: Rust - Size: 311 MB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

dagit/rust-ctrlc Fork of Detegr/rust-ctrlc

Easy Ctrl-C handler for Rust projects

Language: Rust - Size: 87.9 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

dagit/rust_tutorial

following along with a rust tutorial

Language: Rust - Size: 136 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 1

dagit/lambdabot Fork of lambdabot/lambdabot

A friendly IRC bot and apprentice coder, written in Haskell.

Language: Haskell - Size: 14.1 MB - Last synced: about 1 year ago - Pushed: about 11 years ago - Stars: 0 - Forks: 0

dagit/OpenGLRaw Fork of haskell-opengl/OpenGLRaw

Haskell bindings to OpenGL (direct C bindings)

Language: Haskell - Size: 573 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 3 - Forks: 6

dagit/GLURaw Fork of haskell-opengl/GLURaw

Haskell bindings to GLU

Language: Haskell - Size: 164 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 2 - Forks: 2

dagit/exceptions Fork of ekmett/exceptions

mtl friendly exceptions

Language: Haskell - Size: 200 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

dagit/cc65 Fork of cc65/cc65

cc65 - a freeware C compiler for 6502 based systems -

Language: C - Size: 36.8 MB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0