Discover @myuon Open Source projects

@myuon

myuon

Stars
384
Global Rank 72,694 (Top 3 %)
Followers 147
Following 57
Registered over 12 years ago
Most used languages

Haskell
34.0 %

Rust
20.8 %

TypeScript
18.9 %

Isabelle 5.7 %

JavaScript
3.8 %

Go
3.8 %

HTML
1.9 %

Python
1.9 %

Lua
1.9 %

Ruby
1.9 %

Agda 1.9 %

Coq 1.9 %

Lean 1.9 %
Location 🇯🇵 Japan
Country Total Rank 1,748
Country Ranking

Isabelle 3

Lean 4

Agda 5

Haskell
26

Coq 27

Rust
235

Lua
430

Python
556

TypeScript
737

Go
1,549

HTML
1,630

Ruby
2,746

JavaScript
2,878

AI

artificial intelligence on python!

ghc-compiler-notes

A collection of Notes on GHC

quartz

Chimera

Shooting Game with Monads and Lenses

timeline

jitome-kingdom

The kingdom of jitome girls

quartz-hs

Quartz is an interpreted, statically typed programming language with Haskell backend

minilight

A SDL2-based graphics library, batteries included.

agda-cate

Category Theory in Agda

haskell2010-ja

Haskell2010 Language Report 日本語訳

claire

A simple proof assistant

refluxive

flux-like graphics engine based on sdl2

jitome-kingdom-api

haskell-minesweeper

企画のやつ

madder

di-example-store-app

An example application using DI in Haskell

gallon

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

isabelle-software-foundations

"Software Foundations" in Isabelle

bwitterkuchen

CUI Twitter Client

juniQ

Virtual Bishojo Juniku System

website

CatQ

Formalization of Setoids-enriched Category Theory

lean-software-foundations

hakoniwa

My miniature garden as ecosystem simulator

eslint-plugin-css-reorder

ESLint plugin for CSS properties reordering

mu-ui

fourKings

A simple game with cards

typed

The curse of λ

automatoy

debil

Lightweight ORM for Rust

FuncFormat

a simple text-formatting way by QuasiQuotes

Ludwenics

This is the fairy tale about Ludwen's Manuscripts.

myuon

lambda-factory

introduction-to-interpreter

postlude

dan

Have you done something great today?

serverless-reason

Serverless framework template for Reason ML

power-ui

HSDLightPhyx

Light Phyx by Haskell with SDL

rustapp-example

debil-mysql

MySQL implementaion for debil

iolite

sandbox

nothing more than trashbox

sdlight

SDL wrapper library

node-app-template

minilight-examples

debil-dynamodb

DynamoDB dialect for debil

probable-chainsaw

ruyt

aichan-lvlv

愛ちゃんのラブラブ放置プレイ

rupt

Path Tracer in Rust

tracy

kaigi-now

algo

provenian

Online Proof Judge