shiatsumat Goto Github PK

agda-stdlib

The Agda standard library

bfs-prolog

Breadth-first search Prolog-like tool with succinct implemenation

cluss

simple alternative to type classes

compare-type

Compare Types of Any Kinds in Haskell

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.

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.

defargs

default arguments in haskell

docs

Documentation of Nuxt.js

emotion

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

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.

fp-blogs

関数型プログラミング界隈のブログの非公式日本語訳

fp-papers

関数型プログラミングに関する論文の非公式日本語訳

fstar

Verification system for effectful programs

generalized-locally-dense-decomposition

Generalization of locally dense decomposition

ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected])

graphql-modules

Enterprise Grade Tooling For Your GraphQL Server

hash

A Much Better C++

haskelllecture

my "Haskell Lecture" for NPCA members

hoice

An ICE-based predicate synthesizer for Horn clauses.

iscs-thesis

iscs-thesis revised

kawahigashi-lebesgue-note

河東先生「Lebesgue 積分講義」輪読ノート

kinokkory.github.io

lens

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

lens-japanese

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

lock

Auth0's signin solution

luan

漢字プログラミング言語「亂」

mymath

Publish LaTeX style file mymath.sty

npm-run-all

A CLI tool to run multiple npm-scripts in parallel or sequential.

prettier-vscode

Visual Studio Code extension for Prettier

pygments

Pygments is a generic syntax highlighter written in Python