Skip to content
View domdere's full-sized avatar
44 followers · 34 following

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Highlights

Organizations

@irreverent-pixel-feats @sydneyhaskell @haskell-mafia @bondi-lang

Block or report domdere

Report abuse

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

Report abuse
domdere/README.md

Dom De Re

About

👋 Hi, I’m @domdere, a Game Developer and avid Functional Programmer based in Sydney, Australia.

I run a small game dev studio in Sydney called 👉Irreverent Pixel Feats 👈.

We're working on our first commercial title, but also try and produce small free games during Game Jams and whatnot, as well as providing work-for-hire for other developers working on bigger projects.

Games I've Been Involved In

Socials and Sites

Popular repositories Loading

  1. git-submodule-action git-submodule-action Public

    A GitHub Action for bumping submodules

    Shell 29 10

  2. haskell-lint-action haskell-lint-action Public

    github action for running hlint

    Dockerfile 19 3

  3. fp-in-idris fp-in-idris Public

    Functional Programing in Scala (in Idris) [Idris]

    Idris 16 2

  4. cassava-conduit cassava-conduit Public

    Conduit interface for cassava [Haskell]

    Haskell 16 11

  5. ultra ultra Public

    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]

    Haskell 4 2

  6. haskell-coq haskell-coq Public

    Common Haskell type classes written up in the Coq (GALLINA) theorem prover language for proving properties about Haskell data types and functions [Coq]

    Coq 3