sakamotodesu

gitignore

A collection of useful .gitignore templates

jenkins

Jenkins automation server

scala

Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

gollum

A simple, Git-powered wiki with a local frontend and support for many kinds of markup and content.

playframework

The Community Maintained High Velocity Web Framework For Java and Scala.

gitbucket

A Git platform powered by Scala with easy installation, high extensibility & GitHub API compatibility

awesome-scala

A community driven list of useful Scala libraries, frameworks and software.

junit4

A programmer-oriented testing framework for Java.

javaparser

Java 1-21 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.

s2n-tls

An implementation of the TLS/SSL protocols

deep-learning-from-scratch

『ゼロから作る Deep Learning』(O'Reilly Japan, 2016)

gitit

A wiki using HAppS, pandoc, and git

travis.rb

Travis CI Client (CLI and Ruby library)

2048-AI

A simple AI for 2048

jquery-labelauty

A lightweight and beautiful jQuery plugin for radio and checkbox inputs.

jscoq

A port of Coq to Javascript -- Run Coq in your Browser

sicp-pdf

SICP PDF with Texinfo and LaTeX source

license-gradle-plugin

Manage your license(s)

td-gammon

Implementation of TD-Gammon in TensorFlow.

pluto

A web server written in Coq.

gradle-plugin-starter

Gradle plugin template project

javajo-gradle

Java女子部 Gradle勉強会用のリポジトリー

bitflyer4j

Java wrapper library for bitFlyer Lightning API.

call-for-paper-2016fall

JJUG CCC 2016 FallのCall for Papers応募・投票用

ruby_scala

A parser of ISO Ruby written in Scala

TPP2014

Theorem proving and provers for reliable theory and implementations

golang_study

Hello-World

ten_puzzle_kotlin

jgammon

Backgammon software with TD-learning