Pinned Repositories
cabalSkeleton.g8
Template Haskell Cabal Project
cassava-conduit
Conduit interface for cassava [Haskell]
fp-course
Functional Programming Course
fp-in-idris
Functional Programing in Scala (in Idris) [Idris]
git-submodule-action
A GitHub Action for bumping submodules
haskell-coq
Common Haskell type classes written up in the Coq (GALLINA) theorem prover language for proving properties about Haskell data types and functions [Coq]
haskell-lint-action
github action for running hlint
logic-idris
proposition combinators in [Idris]
preamble
prelude [Haskell]
ultra
Place to put things i think are missing from some libraries i use, but things im not sure are actually useful or just dont want to push on anyone [Haskell]
domdere's Repositories
domdere/git-submodule-action
A GitHub Action for bumping submodules
domdere/haskell-lint-action
github action for running hlint
domdere/cassava-conduit
Conduit interface for cassava [Haskell]
domdere/ultra
Place to put things i think are missing from some libraries i use, but things im not sure are actually useful or just dont want to push on anyone [Haskell]
domdere/preamble
prelude [Haskell]
domdere/lab
testing libraries helpers and helpers i dont want to push on QuickCheck [Haskell]
domdere/forgetful-functor
My blog [Haskell + Hakyll]
domdere/AsyncLoadingScreen
Async Loading Screen is a free and open-source plugin for Unreal Engine. Async Loading Screen allows you to easily configure a Loading Screen System in the project settings, and automatically add a Loading Screen whenever you open a new level, without Level Streaming.
domdere/Celeste
Celeste Bugs & Issue Tracker + some Source Code
domdere/circleci-test
repo to play around with circle ci version 2
domdere/corba
Simple/naive RPC with sum types
domdere/csharp-csv-reader
A lightweight, high performance, zero dependency, streaming CSV reading library for CSharp.
domdere/Documentation
domdere/domdere
Config files for my GitHub profile.
domdere/domdere.github.io
domdere/gameBase
Base structure for my games, using Heaps framework and Haxe language.
domdere/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
domdere/ld23-MementoXII
Memento XII (Ludum Dare 23) WebGL port
domdere/ld37-lostInPandation
A survival game with an iPanda, lots of snow, horrible creatures and a cable car. Made using HeapsIO and Haxe language.
domdere/ld39-zeroVoltX
Zero Volt X (a shoot'em up game created in 48h for Ludum Dare 39)
domdere/ld40-catsAreAssholes
A shelter simulation game made in 3 days for Ludum Dare 40. Even if the game was submitted to Jam instead of Compo, I still made everything all by myself.
domdere/ld48-NuclearBlaze-48h
Nuclear Blaze, a 48h game for Ludum Dare 48
domdere/ld51-tenjutsu-48h
Tenjutsu (48h version) - Ludum Dare 51
domdere/ldtk
Modern, lightweight and efficient 2D level editor
domdere/mafia
Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.
domdere/microstudio
Free, open source game engine online
domdere/ParrelSync
(Unity3D) Test multiplayer without building
domdere/petitTracteurBleu
A game created for my two young kids
domdere/reactstrap
Simple React Bootstrap 4 components
domdere/UnityLogViewer
Displays Player.log files in a similar view to the standard Unity Editor Console. Can be used either as a standalone app or editor window.