shiatsumat

A Rust researcher.

Tokyo, Japan

Pinned Repositories

nola
Nola: Parameterizing Higher-Order Ghost State to Clear the Later Modality
Language:Coq3 4 00
rust-horn
RustHorn: A CHC-based automated verifier for Rust
Language:SMT71 6 00
vel
Vel: A language for verified low-level software
Language:Rust15 4 00
cluss
simple alternative to type classes
Language:Haskell41
fp-blogs
関数型プログラミング界隈のブログの非公式日本語訳
100
fp-papers
関数型プログラミングに関する論文の非公式日本語訳
23 6 10
lens-japanese
https://github.com/ekmett/lens のドキュメントの非公式日本語訳
120
Luan
漢字プログラミング言語「亂」
30
thorn
Datatype Manipulation with Template Haskell
Language:Haskell3 3 00
wiwinwlh-jp
What I Wish I Knew When Learning Haskell 日本語訳
114 11 14

shiatsumat's Repositories

shiatsumat/wiwinwlh-jp
What I Wish I Knew When Learning Haskell 日本語訳
114 11 14
shiatsumat/lens-japanese
https://github.com/ekmett/lens のドキュメントの非公式日本語訳
120
shiatsumat/fp-blogs
関数型プログラミング界隈のブログの非公式日本語訳
100
shiatsumat/bfs-prolog
Breadth-first search Prolog-like tool with succinct implemenation
Language:OCaml20
shiatsumat/iscs-thesis
iscs-thesis revised
Language:TeX2
shiatsumat/coq
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:OCaml1 1 0
shiatsumat/FStar
Verification system for effectful programs
1
shiatsumat/hoice
An ICE-based predicate synthesizer for Horn clauses.
Language:Rust1 1 0
shiatsumat/tegaki-hack
beautiful vector graphics editor for smart phones
1
shiatsumat/verona
Research programming language for concurrent ownership
1
shiatsumat/agda-stdlib
The Agda standard library
Language:Agda1 0
shiatsumat/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.
shiatsumat/docs
Documentation of Nuxt.js
Language:JavaScript2 0
shiatsumat/emotion
👩‍🎤 CSS-in-JS library designed for high performance style composition
Language:JavaScript1 0
shiatsumat/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:JavaScript
shiatsumat/generalized-locally-dense-decomposition
Generalization of locally dense decomposition
Language:TeX2 0
shiatsumat/graphql-modules
Enterprise Grade Tooling For Your GraphQL Server
shiatsumat/Kawahigashi-Lebesgue-note
河東先生「Lebesgue 積分講義」輪読ノート
Language:TeX2 0
shiatsumat/lock
Auth0's signin solution
Language:JavaScript
shiatsumat/mymath
Publish LaTeX style file mymath.sty
Language:TeX2 0
shiatsumat/npm-run-all
A CLI tool to run multiple npm-scripts in parallel or sequential.
shiatsumat/prettier-vscode
Visual Studio Code extension for Prettier
shiatsumat/pygments
Pygments is a generic syntax highlighter written in Python
shiatsumat/react-docgen-typescript-loader
Webpack loader to generate docgen information from Typescript React components.
Language:TypeScript1 0
shiatsumat/rfcs
RFCs for changes to Rust
Language:Shell1 0
shiatsumat/rust
Empowering everyone to build reliable and efficient software.
Language:Rust2 0
shiatsumat/shiatsumat.github.io
GitHub Pages
Language:HTML
shiatsumat/storybook
UI component dev & test: React, Vue, Angular, React Native, Ember, Web Components & more!
shiatsumat/tcs
Book in preparation: introduction to theoretical computer science
Language:JavaScript1 0
shiatsumat/z3
The Z3 Theorem Prover
Language:C++