Skip to content

@mathkind mathkind

Change the repository type filter

All

    Repositories list

    5 repositories

    • dict_build

      Public
      自动构建中文词库：build dict from large chinese text using unsupervised method，algorithm：http://www.matrix67.com/blog/archives/5044
      Java
      •
      Apache License 2.0
      •221•0•0•0•Updated Sep 26, 2014Sep 26, 2014

    • sharelatex

      Public
      A web-based collaborative LaTeX editor
      Ruby
      •
      GNU Affero General Public License v3.0
      •1.8k•0•0•0•Updated May 28, 2014May 28, 2014

    • mcl

      Public
      Simple circuit library for MiniSat
      C++
      •
      Other
      •5•0•0•0•Updated Sep 25, 2013Sep 25, 2013

    • minisat

      Public
      A minimalistic and high-performance SAT solver
      C++
      •
      Other
      •413•0•0•0•Updated Sep 25, 2013Sep 25, 2013

    • kodkod

      Public
      Personal mirror of http://alloy.mit.edu/kodkod/
      Java
      •
      Other
      •1•0•0•0•Updated Nov 13, 2011Nov 13, 2011