John Altidor's repositories
twelf_tutorial
Twelf Tutorial and Twelf Encoding of Minilang
cad-exchange
Automatically exported from code.google.com/p/cad-exchange
myPOSTReadApp
HTTP Server that parses and read POST data
jgaltidor.github.io
Home Page
Language:HTML000
JSONAntlrAntMavenJastadd
Sample Eclipse project that uses both ANLTR4 and JastAdd for implementing source code program analysis
memo-extractor
Automatically exported from code.google.com/p/memo-extractor
simple_gradle_java
Simple Example Java Project compiled using Gradle
sudoku_solver_service_inez
A sudoku solver web service utilizing SMT/ILP solver Inez