dagit Goto Github PK

1gam

My public attempts at the one game a month challenge

7drl2017

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.

angband

A free, single-player roguelike dungeon exploration game

annelid

Speedrun timer with autosplitter for fxpak/sd2snes

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.

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

bindings-glfw

Low-level Haskell bindings to GLFW

blt

Lattice-based integer linear programming solver

boab

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

brick

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

cabal

Official upstream development repository for Cabal and cabal-install

cabal-dev

A wrapper program around cabal and cabal-install that maintains sandboxed build environments.

cabal-quirk

buggy cabal file

cacao

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

capdl

cc65

cc65 - a freeware C compiler for 6502 based systems -

circuit-synthesis

cyclone-language

My branch of the Cyclone programming language

dagit.github.com.hevea

Blog

dagit.github.io

my github pages

dotfiles

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

druid-test

Testing druid + winit over ipc-channels

dungeonmaintainers

7DRL entry

earley

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

edit-patterns

emacs-racer

Racer support for Emacs

emu-test

timing different ways to implement a cycle accurate emulator