myuon/haskell2010-ja

Stars
8
Rank 2,099,232 (Top 42 %)
Language
JavaScript
Created almost 6 years ago
Updated over 3 years ago

myuon/haskell2010-ja

myuon

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

Haskell2010 Language Report 日本語訳

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

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