na2hiro/TaPL-implementation

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Haskell
Created about 11 years ago
Updated about 11 years ago

na2hiro/TaPL-implementation

na2hiro

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

Haskell implementation of the "Types and Programming Languages"

Kifu-for-JS

JavaScriptで動く将棋の棋譜再生盤とそのブックマークレット `kifu-for-js`、JSON棋譜フォーマット(JKF)の定義とKIF, KI2, CSAからの変換ライブラリ `json-kifu-format`、将棋のモデル`shogi.js`を含むmonorepo

json-kifu-format

JSON棋譜フォーマット(JKF)の定義とKIF, KI2, CSAからの変換ライブラリ

Shogi.js

A simple shogi library for JavaScript / TypeScript

remix-auth-twitter

Remix Auth plugin for Twitter OAuth 2.0 & 1.0a

namespaced-fieldset

A tiny React utils which gives uncontrolled `<input>` elements a power of namespaces, and allows constructing complex objects

shogitter-lib

Core logic of shogi variant rules which you can play at shogitter.com

quantum-shogi

量子将棋合法性チェッカ

Shogitter.hs

Legal move generator and simple AI for tons of combinations of Shogi (Japanese chess) variants

uploader

D&Dで投げ込むレジューム付アップローダ

rust-tsumeshogi

ship-fee

メルカリ送料最安計算

webrtc-distribution

P2P file distribution using WebRTC

prototype-json-kifu

A prototype of JSON Kifu project

toolbox.shogitter.com

https://toolbox.shogitter.com/

fund-manager

S.js

S-expression parser by JavaScript / TypeScript

na2hiro.81.la

https://na2hiro.81.la

immediate-converters

Converter tools with immediate feedback

tter

Better shogitter without shogi

SENKYO-IKE

masao

remix-auth-twitter-example

Example of remix-auth-twitter library

dekadeka

Make banners for your mobile screens

na2hiro.github.io

81chat

shogitter-react

UI for shogitter-ts Shogi logic

kifu-abbrev-input

(moved) 棋譜略記入力(仮)

namespaced-fieldset-example

Example of https://github.com/na2hiro/namespaced-fieldset

auto-furigana

Automatically put furigana as you type and generate text with furigana

monadianity

The website of Monadianity

event-timeliner

Visualize events on timeline

junisen-react

Listing up and visualize all possible combinations of results in Junisen-style league