myuon/sandbox myuon/sandbox

  • Stars
    star
    1
  • Language
  • Created almost 11 years ago
  • Updated almost 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
myuon/sandbox
github

myuon

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

nothing more than trashbox

More Repositories

1

AI

artificial intelligence on python!
Python
114
star
2

ghc-compiler-notes

A collection of Notes on GHC
Haskell
69
star
3

quartz

Rust
27
star
4

Chimera

Shooting Game with Monads and Lenses
Haskell
11
star
5

timeline

TypeScript
10
star
6

jitome-kingdom

The kingdom of jitome girls
TypeScript
9
star
7

quartz-hs

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

minilight

A SDL2-based graphics library, batteries included.
Haskell
8
star
9

agda-cate

Category Theory in Agda
Agda
8
star
10

haskell2010-ja

Haskell2010 Language Report ๆ—ฅๆœฌ่ชž่จณ
JavaScript
8
star
11

claire

A simple proof assistant
Haskell
7
star
12

refluxive

flux-like graphics engine based on sdl2
Haskell
7
star
13

jitome-kingdom-api

Rust
6
star
14

haskell-minesweeper

ไผ็”ปใฎใ‚„ใค
Haskell
5
star
15

madder

MADDER (Akane)
Rust
5
star
16

di-example-store-app

An example application using DI in Haskell
Haskell
5
star
17

gallon

A tool to migrate your data from one database to another.
Go
4
star
18

isabelle-software-foundations

"Software Foundations" in Isabelle
Isabelle
4
star
19

bwitterkuchen

CUI Twitter Client
Haskell
4
star
20

juniQ

Virtual Bishojo Juniku System
TypeScript
3
star
21

website

website
HTML
3
star
22

CatQ

Formalization of Setoids-enriched Category Theory
Coq
3
star
23

lean-software-foundations

Lean
3
star
24

hakoniwa

My miniature garden as ecosystem simulator
Haskell
3
star
25

eslint-plugin-css-reorder

ESLint plugin for CSS properties reordering
TypeScript
3
star
26

mu-ui

TypeScript
3
star
27

fourKings

A simple game with cards
2
star
28

typed

The curse of ฮป
Isabelle
2
star
29

automatoy

toy toy toy
Haskell
2
star
30

debil

Lightweight ORM for Rust
Rust
2
star
31

FuncFormat

a simple text-formatting way by QuasiQuotes
Haskell
2
star
32

Ludwenics

This is the fairy tale about Ludwen's Manuscripts.
Haskell
2
star
33

myuon

About me
2
star
34

lambda-factory

Haskell
2
star
35

introduction-to-interpreter

TypeScript
2
star
36

postlude

The end
Ruby
2
star
37

dan

Have you done something great today?
Haskell
2
star
38

serverless-reason

Serverless framework template for Reason ML
JavaScript
1
star
39

power-ui

TypeScript
1
star
40

HSDLightPhyx

Light Phyx by Haskell with SDL
Haskell
1
star
41

rustapp-example

sunava
Rust
1
star
42

debil-mysql

MySQL implementaion for debil
Rust
1
star
43

iolite

Rust
1
star
44

sdlight

SDL wrapper library
Haskell
1
star
45

node-app-template

TypeScript
1
star
46

minilight-examples

Lua
1
star
47

debil-dynamodb

DynamoDB dialect for debil
Rust
1
star
48

probable-chainsaw

Go
1
star
49

ruyt

Rust
1
star
50

aichan-lvlv

ๆ„›ใกใ‚ƒใ‚“ใฎใƒฉใƒ–ใƒฉใƒ–ๆ”พ็ฝฎใƒ—ใƒฌใ‚ค
Haskell
1
star
51

rupt

Path Tracer in Rust
Rust
1
star
52

tracy

Hi, Tracy!
Rust
1
star
53

kaigi-now

TypeScript
1
star
54

algo

Algorithms
Isabelle
1
star
55

provenian

Online Proof Judge
TypeScript
1
star