• 3
• 0
• 0

tamgram

High-level frontend language to Tamarin prover

• 3
• 0
• 0

lichen-lang

mercurial-mirror: Lichen is both a Python-like language and a toolchain for that language.

• 3
• 0
• 0

oj

OJ -- fork of http://openjava.sourceforge.net/

• 3
• 0
• 0

oc-dell-precision-t7610-workstation

• 3
• 0
• 0

AIL

the AIL Programming Language

• 3
• 0
• 0

docker-mac-vagrant

A sample vagrant setup for escaping the clutches of Docker for Mac

• 3
• 0
• 0

ruby-debug-ide

An interface which glues ruby-debug to IDEs like Eclipse (RDT), NetBeans and RubyMine.

• 3
• 0
• 0

diffxml

Diff and Patch XML files

• 3
• 0
• 0

starlark

Starlark Language

• 3
• 0
• 0

google-http-java-client

Google HTTP Client Library for Java

• 3
• 0
• 0

kilo

Um aplicativo demo de web

• 2
• 0
• 0

xpparser

• 2
• 0
• 0

xsq-a-streaming-xpath-engine

• 2
• 0
• 0

cleartrack

Primitive level bytecode instrumentation tool for Java.

• 2
• 0
• 0

mercator

produce graph model projections of infrastructure

• 2
• 0
• 0

tasty

Toolbox for Automatic Secure Two-partY computation

• 2
• 0
• 0

RIAL

• 2
• 0
• 0

cookcc

Lexer and Parser Generator

• 2
• 0
• 0

squawk

An experimental project to customize squawk virtual machine for microcontrollers. Users can write embedded application programs in Java (with CLDC...

• 2
• 1
• 0

docker-remote-desktop

Docker image for Remote Desktop server with audio support