shiatsumat

Yusuke Matsushita's repositories

wiwinwlh-jp

What I Wish I Knew When Learning Haskell 日本語訳

113 11 1

lens-japanese

https://github.com/ekmett/lens のドキュメントの非公式日本語訳

BSD-2-Clause1200

bfs-prolog

Breadth-first search Prolog-like tool with succinct implemenation

Language:OCamlGPL-3.0200

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.11 10

FStar

Verification system for effectful programs

Apache-2.0100

hoice

An ICE-based predicate synthesizer for Horn clauses.

Language:RustApache-2.01 10

tegaki-hack

beautiful vector graphics editor for smart phones

GPL-3.0100

verona

Research programming language for concurrent ownership

MIT100

agda-stdlib

The Agda standard library

Language:AgdaNOASSERTION010

dataloader

DataLoader is a generic utility to be used as part of your application's data fetching layer to provide a consistent API over various backends and reduce requests to those backends via batching and caching.

MIT000

docs

Documentation of Nuxt.js

Language:JavaScript000

emotion

👩‍🎤 CSS-in-JS library designed for high performance style composition

Language:JavaScriptMIT010

firebaseui-web

FirebaseUI is an open-source JavaScript library for Web that provides simple, customizable UI bindings on top of Firebase SDKs to eliminate boilerplate code and promote best practices.

Language:JavaScriptApache-2.0000