sakamotodesu

sakamotodesu's Stars

• github/gitignore

  A collection of useful .gitignore templates

  161k3.4k083.2k

• jenkinsci/jenkins

  Jenkins automation server

  Language:Java23k86008.7k

• scala/scala

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

  Language:Scala14.3k71903.1k

• gollum/gollum

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

  Language:Ruby13.7k2541.3k1.6k

• playframework/playframework

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

  Language:Scala12.5k6303.8k4.1k

• gitbucket/gitbucket

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

  Language:Scala9.1k4561.8k1.2k

• lauris/awesome-scala

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

  Language:Python9k602751.3k

• junit-team/junit4

  A programmer-oriented testing framework for Java.

  Language:Java8.5k5808323.3k

• javaparser/javaparser

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

  Language:Java5.4k1442.3k1.1k

• aws/s2n-tls

  An implementation of the TLS/SSL protocols

  Language:C4.5k1721.4k704

• oreilly-japan/deep-learning-from-scratch

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

  Language:Jupyter Notebook4k219343.3k

• jgm/gitit

  A wiki using HAppS, pandoc, and git

  Language:Haskell2.1k78543226

• travis-ci/travis.rb

  Travis CI Client (CLI and Ruby library)

  Language:Ruby1.6k93556408

• ovolve/2048-AI

  A simple AI for 2048

  Language:JavaScript1.5k850456

• fntneves/jquery-labelauty

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

  Language:CSS8843918115

• jscoq/jscoq

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

  Language:TypeScript5071918242

• minghai/sicp-pdf

  SICP PDF with Texinfo and LaTeX source

  Language:TeX45061236

• hierynomus/license-gradle-plugin

  Manage your license(s)

  Language:Groovy40613147114

• fomorians/td-gammon

  Implementation of TD-Gammon in TensorFlow.

  Language:Python11011342

• coq-concurrency/pluto

  A web server written in Coq.

  Language:Coq86921

• int128/gradle-plugin-starter

  Gradle plugin template project

  Language:Groovy35217

• mike-neck/javajo-gradle

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

  Language:Java263172

• after-the-sunrise/bitflyer4j

  Java wrapper library for bitFlyer Lightning API.

  Language:Java24305

• jjug-ccc/call-for-paper-2016fall

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

  1712591

• kmizu/ruby_scala

  A parser of ISO Ruby written in Scala

  Language:Scala7200

• KyushuUniversityMathematics/TPP2014

  Theorem proving and provers for reliable theory and implementations

  Language:Coq51101

• dhirabayashi/golang_study

  2200

• dhirabayashi/Hello-World

  Language:Java2200

• dhirabayashi/ten_puzzle_kotlin

  Language:Kotlin1200

• tkshio/jgammon

  Backgammon software with TD-learning

  Language:Java12