cowang

cowang's Stars

• google/guava

  Google core libraries for Java

  Language:Java50.2k2.4k3.6k10.9k

• google/styleguide

  Style guides for Google-originated open-source projects

  Language:HTML37.5k1.3k34013.3k

• antlr/antlr4

  ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

  Language:Java17.2k3702.3k3.3k

• antlr/grammars-v4

  Grammars written for ANTLR v4; expectation that the grammars are free of actions.

  Language:ANTLR10.2k2291.5k3.7k

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k812.8k262

• cucumber/cucumber-jvm

  Cucumber for the JVM

  Language:Java2.7k2131.5k2k

• brownplt/pyret-lang

  The Pyret language.

  Language:JavaScript1.1k431.4k110

• cucumber/cucumber-eclipse

  Eclipse plugin for Cucumber

  Language:Java19289307149

• dmbarbour/wikilon

  A wiki and web-services based development environment for Awelon project

  Language:F#911234

• eclipse-texlipse/texlipse

  Eclipse Texlipse

  Language:Java60147620

• oreillymedia/Data_Science_with_Java

  Language:Java5014135

• smtlib/jSMTLIB

  jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to many SMT solvers.

  Language:Java2661016

• Apress/practical-java-machine-learning

  Source Code for 'Practical Java Machine Learning' by Mark Wickham

  Language:HTML65012

• cowang/EMU-COSC146

  Some notes and links about material we might need frequently.

  23010