huitseeker/sbteclipse
Plugin for sbt to create Eclipse project definitions
Developer Profile
huitseeker
Discovered public repositories for huitseeker in the GitHub catalog.
huitseeker/scala-ide-plugin.g8
Giger8 template for Eclipse plugins based on the Scala IDE
huitseeker/migration-manager
Public repository.
huitseeker/linter
Static Analysis Compiler Plugin for Scala
huitseeker/Xsource-nightlies
Public repository.
huitseeker/build-tools
A set of tools used during Scala IDE and plugins builds
huitseeker/scala-search
Next Scala Search Engine
huitseeker/scala-library
Public repository.
huitseeker/scala-ide-dashboard
A web dashboard for the Scala IDE projects
huitseeker/scala-dataflow
Public repository.
huitseeker/sbinary
Library for describing binary formats for Scala types
huitseeker/scalariform
Scala source code formatter
huitseeker/scala-ide-play2
Play 2 support for Scala IDE
huitseeker/scala-worksheet
A Scala IDE plugin for a multi-line REPL (called worksheet)
huitseeker/sbt
sbt, a build tool for Scala
huitseeker/validator-script
Public repository.
huitseeker/jenkins-scripts
Public repository.
huitseeker/scala-ide-insynth-integration
Central repository for managing the implementation of InSynth and Scala IDE integration.
huitseeker/scala-ide.github.com
Public repository.
huitseeker/ecosystem
Set of maven project to build the Scala IDE ecosystem update sites
huitseeker/uber-build
Public repository.
huitseeker/scala
The Scala programming language
huitseeker/scala-refactoring
Fork of scala-refactoring project (this fork is only used to build stable releases of the Scala IDE plugin for Eclipse, please visit the scala-refactoring website if you are interested in the project. Credit goes to Mirko Stocker and all contributors to the scala-refactoring project.)
huitseeker/docs
Documentation for the scala-ide
huitseeker/scala-ide
Scala IDE for Eclipse
huitseeker/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.
huitseeker/writegood-mode
Minor mode for Emacs to improve English writing
huitseeker/thesis-spikes
Some Ssreflect demos and code snippets mentioned in my manuscript
huitseeker/git-wordcount
An ad-hoc script to count words in my thesis repository, and build a status page using pygooglechart
huitseeker/nbe
Normalization by evaluation in Coq
huitseeker/gitmon
Git Repository Monitor
huitseeker/pretty-mode
Public repository.
huitseeker/yasnippets-latex
LaTeX snippets for use with the yasnippet Emacs plugin