bbarker

bbarker's Stars

• overleaf/overleaf

  A web-based collaborative LaTeX editor

  Language:JavaScript14.5k2111.1k1.5k

• githwxi/ATS-Postiats

  ATS2: Unleashing the Potentials of Types and Templates

  Language:ATS3543311854

• opencobra/cobratoolbox

  The COnstraint-Based Reconstruction and Analysis Toolbox. Documentation:

  Language:MATLAB25433300320

• jdleesmiller/jotgit

  Git-backed real time collaborative editor built with meteor.

  Language:CoffeeScript208281032

• OpenKnowledgeMaps/Headstart

  A framework for creating web-based knowledge maps

  Language:JavaScript1991922441

• akhikhl/wuff

  Gradle plugin for automating assembly of OSGi/Eclipse bundles and applications

  Language:Groovy152228851

• nicity/CppTools

  Language:Java104212267

• voieducode/putty-colors-zenburn

  Zenburn color scheme for PuTTY

  787124

• githwxi/ATS-Postiats-contrib

  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats

  Language:C4717518

• fred-dbg/fred

  Language:C215

• deeglaze/scribble-latex-utils

  Different useful things I have come up with to write my papers in scribble rather than directly in LaTeX

  Language:Racket13818

• alex-ren/org.ats-lang.postiats.jats

  Interpreter for ATS in Java.

  Language:Java2300

• mdekstrand/gradle-plugins

  Some Gradle plugins I create and use.

  Language:Groovy2460

• bbarker/M-N-K-Tic-Tac-Toe

  A simple command-line tic-tac-toe game with variable board sizes and winning lengths. Prototype is written in C, while primary implementation will be written in ATS.

  Language:ATS1301