jgaltidor

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

hello_sbt

interpreter

jgaltidor.github.io

Home Page

jsonadd

Simple example JastAdd & ANTLR project compiled with Gradle and tested with JUnit.

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_antlr

simple_gradle_java

Simple Example Java Project compiled using Gradle

sudoku_solver_service_inez

A sudoku solver web service utilizing SMT/ILP solver Inez

VarJ

Java Generics Refactoring Tool for Inferring Wildcards