Skip to content
View DeamonDev's full-sized avatar
:octocat:
Working from home
:octocat:
Working from home
6 followers · 16 following
  • nussknacker.io
  • Warsaw

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLO

Block or report DeamonDev

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
DeamonDev/README.md
  • 👋 Hi, I’m @DeamonDev
  • 👀 I’m interested in functional programming, (homotopy) type theory
  • 🌱 Scala, Haskell & TypeScript developer. Keeping eyes open on Idris2
  • 🌍 tech stack: ZIO, servant, React, Postgresql

Pinned Loading

  1. JustDo JustDo Public

    Terminal Todo app you always wanted!

    Haskell

  2. doobie-mtl-example doobie-mtl-example Public

    Example of how to use Monad Transformers Library together with Doobie

    Scala

  3. http4s-bookstore-backend http4s-bookstore-backend Public

    Purely functional backend backed with http4s, doobie, pureConfig,...

    Scala 1 1

  4. typescript-quiz typescript-quiz Public

    Simple react quiz-app powered by TriviaDB. User interface was build using Chakra UI.

    TypeScript

  5. redis-server-golang redis-server-golang Public

    Redis clone written from scratch using golang

    Go

  6. yank-highlighter.nvim yank-highlighter.nvim Public

    Neovim plugin yanked text highlighter

    Lua 1