Projects in Awesome Lists by myuon | Ecosyste.ms: Awesome

https://github.com/myuon/ai

artificial intelligence on python!

Last synced: 15 Oct 2024

https://github.com/myuon/ghc-compiler-notes

A collection of Notes on GHC

Last synced: 15 Oct 2024

https://github.com/myuon/quartz

Last synced: 15 Oct 2024

https://github.com/myuon/chimera

Shooting Game with Monads and Lenses

Last synced: 15 Oct 2024

https://github.com/myuon/jitome-kingdom

The kingdom of jitome girls

Last synced: 15 Oct 2024

https://github.com/myuon/minilight

A SDL2-based graphics library, batteries included.

graphics-library haskell sdl2

Last synced: 15 Oct 2024

https://github.com/myuon/haskell2010-ja

Haskell2010 Language Report 日本語訳

Last synced: 15 Oct 2024

https://github.com/myuon/agda-cate

Category Theory in Agda

Last synced: 15 Oct 2024

https://github.com/myuon/refluxive

flux-like graphics engine based on sdl2

Last synced: 15 Oct 2024

https://github.com/myuon/jitome-kingdom-api

Last synced: 15 Oct 2024

https://github.com/myuon/claire

A simple proof assistant

Last synced: 15 Oct 2024

https://github.com/myuon/haskell-minesweeper

企画のやつ

Last synced: 15 Oct 2024

https://github.com/myuon/madder

MADDER (Akane)

Last synced: 15 Oct 2024

https://github.com/myuon/di-example-store-app

An example application using DI in Haskell

Last synced: 15 Oct 2024

https://github.com/myuon/bwitterkuchen

CUI Twitter Client

cui-twitter-client

Last synced: 15 Oct 2024

https://github.com/myuon/hakoniwa

My miniature garden as ecosystem simulator

Last synced: 15 Oct 2024

https://github.com/myuon/catq

Formalization of Setoids-enriched Category Theory

Last synced: 15 Oct 2024

https://github.com/myuon/timeline

Last synced: 15 Oct 2024

https://github.com/myuon/gallon

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

Last synced: 15 Oct 2024

https://github.com/myuon/eslint-plugin-css-reorder

ESLint plugin for CSS properties reordering

css eslint eslint-plugin

Last synced: 15 Oct 2024

https://github.com/myuon/juniq

Virtual Bishojo Juniku System

Last synced: 15 Oct 2024

https://github.com/myuon/website

website

Last synced: 15 Oct 2024

https://github.com/myuon/mu-ui

Last synced: 15 Oct 2024

https://github.com/myuon/lean-software-foundations

Last synced: 15 Oct 2024

https://github.com/myuon/isabelle-software-foundations

"Software Foundations" in Isabelle

Last synced: 15 Oct 2024

https://github.com/myuon/fourkings

A simple game with cards

Last synced: 15 Oct 2024

https://github.com/myuon/ludwenics

This is the fairy tale about Ludwen's Manuscripts.

Last synced: 15 Oct 2024

https://github.com/myuon/typed

The curse of λ

Last synced: 15 Oct 2024

https://github.com/myuon/myuon

About me

Last synced: 15 Oct 2024

https://github.com/myuon/debil

Lightweight ORM for Rust

Last synced: 15 Oct 2024

https://github.com/myuon/lambda-factory

Last synced: 15 Oct 2024

https://github.com/myuon/postlude

The end

Last synced: 15 Oct 2024

https://github.com/myuon/dan

Have you done something great today?

Last synced: 15 Oct 2024

https://github.com/myuon/funcformat

a simple text-formatting way by QuasiQuotes

Last synced: 15 Oct 2024

https://github.com/myuon/automatoy

toy toy toy

Last synced: 15 Oct 2024

https://github.com/myuon/aichan-lvlv

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

Last synced: 15 Oct 2024

https://github.com/myuon/algo

Algorithms

Last synced: 15 Oct 2024

https://github.com/myuon/probable-chainsaw

Last synced: 15 Oct 2024

https://github.com/myuon/rustapp-example

sunava

Last synced: 15 Oct 2024

https://github.com/myuon/rupt

Path Tracer in Rust

Last synced: 15 Oct 2024

https://github.com/myuon/sdlight

SDL wrapper library

Last synced: 15 Oct 2024

https://github.com/myuon/kaigi-now

Last synced: 15 Oct 2024

https://github.com/myuon/node-app-template

Last synced: 15 Oct 2024

https://github.com/myuon/hsdlightphyx

Light Phyx by Haskell with SDL

Last synced: 15 Oct 2024

https://github.com/myuon/serverless-reason

Serverless framework template for Reason ML

Last synced: 15 Oct 2024

https://github.com/myuon/iolite

Last synced: 15 Oct 2024

https://github.com/myuon/sandbox

nothing more than trashbox

Last synced: 15 Oct 2024

https://github.com/myuon/ruyt

Last synced: 15 Oct 2024

https://github.com/myuon/power-ui

Last synced: 15 Oct 2024

https://github.com/myuon/debil-dynamodb

DynamoDB dialect for debil

Last synced: 15 Oct 2024

https://github.com/myuon/minilight-examples

Last synced: 15 Oct 2024

https://github.com/myuon/hayway

Last synced: 15 Oct 2024

https://github.com/myuon/hcdump

Last synced: 15 Oct 2024

https://github.com/myuon/hashellp

Yes, Yesod!

Last synced: 15 Oct 2024

https://github.com/myuon/gimlet

A GitHub client

Last synced: 15 Oct 2024

https://github.com/myuon/ga_hs

genetic algorithm by Haskell

Last synced: 15 Oct 2024

https://github.com/myuon/godox

Last synced: 15 Oct 2024

https://github.com/myuon/failed-to-load-interface

Last synced: 15 Oct 2024

https://github.com/myuon/gitboard

Last synced: 15 Oct 2024

https://github.com/myuon/firebricks

Last synced: 15 Oct 2024

https://github.com/myuon/euler

Project Euler

Last synced: 15 Oct 2024

https://github.com/myuon/fantaly

fantastically fantasy

Last synced: 15 Oct 2024

https://github.com/myuon/haste-jquery

haste-jQuery

Last synced: 15 Oct 2024

https://github.com/myuon/dotfiles

ansible-playbook

Last synced: 15 Oct 2024

https://github.com/myuon/doto

TODO

Last synced: 15 Oct 2024

https://github.com/myuon/pixim

Last synced: 15 Oct 2024

https://github.com/myuon/combinatory-logic

Combinatory Logic and lambda-calculus

Last synced: 15 Oct 2024

https://github.com/myuon/jubilant-robot

Last synced: 15 Oct 2024

https://github.com/myuon/aws-specs

Last synced: 15 Oct 2024

https://github.com/myuon/consensus

Last synced: 15 Oct 2024

https://github.com/myuon/tellme

Last synced: 15 Oct 2024

https://github.com/myuon/simple_rpg

a simple RPG(under construction)

Last synced: 15 Oct 2024

https://github.com/myuon/widx

collection of widgets

Last synced: 15 Oct 2024

https://github.com/myuon/labelled-enum

Converting an enum to/from String

enum rust

Last synced: 15 Oct 2024

https://github.com/myuon/arcades

Last synced: 15 Oct 2024

https://github.com/myuon/reimagined-dollop

Last synced: 15 Oct 2024

https://github.com/myuon/golang-struct-partial-update

Last synced: 15 Oct 2024

https://github.com/myuon/ramda.io

Last synced: 15 Oct 2024

https://github.com/myuon/quartz-playground

Last synced: 15 Oct 2024

https://github.com/myuon/threejs-suburi

Last synced: 15 Oct 2024

https://github.com/myuon/zenn-blog

Last synced: 15 Oct 2024

https://github.com/myuon/introduction-to-interpreter

Last synced: 15 Oct 2024

https://github.com/myuon/studious-octo-train

Last synced: 15 Oct 2024

https://github.com/myuon/txt

Last synced: 15 Oct 2024

https://github.com/myuon/sns-game

Friend the Net

Last synced: 15 Oct 2024

https://github.com/myuon/game-development-with-rust-and-webassembly-in-quartz

Last synced: 15 Oct 2024

https://github.com/myuon/react-photo-edit

Last synced: 15 Oct 2024

https://github.com/myuon/bun-app-template

Last synced: 15 Oct 2024

https://github.com/myuon/nextjs-kumaui-suburi

Last synced: 15 Oct 2024

https://github.com/myuon/react-vite-template

Last synced: 15 Oct 2024

https://github.com/myuon/nott

Notes on Type Theory

Last synced: 15 Oct 2024

https://github.com/myuon/myuon.github.io

Last synced: 15 Oct 2024

https://github.com/myuon/prooving-everyday

an application to inform how many theories you have proved today

Last synced: 15 Oct 2024

https://github.com/myuon/raft

Last synced: 15 Oct 2024

https://github.com/myuon/webgl-path-tracer

WebGL path tracer

Last synced: 15 Oct 2024

https://github.com/myuon/pyxis

Pyxis

Last synced: 15 Oct 2024

https://github.com/myuon/kakeibo

Last synced: 15 Oct 2024

https://github.com/myuon/pulumi-extra

Last synced: 15 Oct 2024

https://github.com/myuon/myuon-play-music

Last synced: 15 Oct 2024

https://github.com/myuon/nyantream

Integrated Nyantoka(Somewhat) Stream Client

Last synced: 15 Oct 2024