Giters
Takahiro Nagao (wgag)

wgag

Geek Repo

1

followers

0

following

6

stars

Home Page:https://qiita.com/tnagao7

Github PK Tool:Github PK Tool

Takahiro Nagao's starred repositories

nosql

The specification in Jakarta EE to help Jakarta EE developers create enterprise-grade applications using Java® and NoSQL technologies.

Language:JavaLicense:EPL-2.0Stargazers:92Issues:0Issues:0

Sigene

Language:JavaScriptStargazers:50Issues:0Issues:0

math-comp

Mathematical Components

Language:CoqStargazers:576Issues:0Issues:0

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:OCamlLicense:LGPL-2.1Stargazers:4809Issues:0Issues:0

asciidoc-blog

Support files for article on creating a blog using Asciidoc and Hugo

Language:CSSStargazers:63Issues:0Issues:0

vscode-haskell

VS Code extension for Haskell, powered by haskell-language-server

Language:TypeScriptLicense:NOASSERTIONStargazers:559Issues:0Issues:0