Discover myuon/quartz-hs Open Source project by @myuon

quartz

Shooting Game with Monads and Lenses

Chimera

timeline

The kingdom of jitome girls

jitome-kingdom

A SDL2-based graphics library, batteries included.

minilight

Haskell2010 Language Report 日本語訳

agda-cate

Category Theory in Agda

Agda

haskell2010-ja

JavaScript

claire

A simple proof assistant

flux-like graphics engine based on sdl2

refluxive

jitome-kingdom-api

haskell-minesweeper

madder

di-example-store-app

An example application using DI in Haskell

A tool to migrate your data from one database to another.

gallon

isabelle-software-foundations

"Software Foundations" in Isabelle

Isabelle

bwitterkuchen

CUI Twitter Client

Virtual Bishojo Juniku System

juniQ

Formalization of Setoids-enriched Category Theory

website

HTML

CatQ

Coq

lean-software-foundations

Lean

hakoniwa

My miniature garden as ecosystem simulator

ESLint plugin for CSS properties reordering

eslint-plugin-css-reorder

mu-ui

fourKings

A simple game with cards

typed

automatoy

debil

Lightweight ORM for Rust

a simple text-formatting way by QuasiQuotes

FuncFormat

This is the fairy tale about Ludwen's Manuscripts.

Ludwenics

myuon

About me

lambda-factory

introduction-to-interpreter

Have you done something great today?

postlude

The end

Ruby

dan

Serverless framework template for Reason ML

serverless-reason

JavaScript

power-ui

Light Phyx by Haskell with SDL

HSDLightPhyx

rustapp-example

sunava

MySQL implementaion for debil

debil-mysql

iolite

nothing more than trashbox

sandbox

sdlight

node-app-template

minilight-examples

debil-dynamodb

DynamoDB dialect for debil