Discover @myuon Open Source projects

@myuon

myuon

Stars
372
Global Rank 72,332 (Top 3 %)
Followers 145
Following 57
Registered almost 12 years ago
Most used languages

Haskell
35.3 %

Rust
19.6 %

TypeScript
17.6 %

Isabelle 5.9 %

JavaScript
3.9 %

Go
3.9 %

Coq 2.0 %

Lua
2.0 %

Lean 2.0 %

HTML
2.0 %

Python
2.0 %

Agda 2.0 %

Ruby
2.0 %
Location 🇯🇵 Japan
Country Total Rank 1,748
Country Ranking

Isabelle 3

Lean 4

Agda 5

Haskell
26

Coq 27

Rust
236

Lua
515

Python
544

TypeScript
755

HTML
1,729

Go
1,812

JavaScript
2,722

Ruby
2,978

AI

artificial intelligence on python!

ghc-compiler-notes

A collection of Notes on GHC

quartz

Chimera

Shooting Game with Monads and Lenses

jitome-kingdom

The kingdom of jitome girls

timeline

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 日本語訳

refluxive

flux-like graphics engine based on sdl2

claire

A simple proof assistant

jitome-kingdom-api

di-example-store-app

An example application using DI in Haskell

haskell-minesweeper

企画のやつ

madder

bwitterkuchen

CUI Twitter Client

gallon

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

juniQ

Virtual Bishojo Juniku System

website

isabelle-software-foundations

"Software Foundations" in Isabelle

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

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

sandbox

nothing more than trashbox

sdlight

SDL wrapper library

node-app-template

debil-dynamodb

DynamoDB dialect for debil

aichan-lvlv

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

minilight-examples

probable-chainsaw

ruyt

rupt

Path Tracer in Rust

tracy

introduction-to-interpreter

kaigi-now

algo