• 3
• 0
• 0

MIRACL-Redux

• 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

java2dart

Java to Dart converter

• 3
• 0
• 0

Java-SF

Semantically-typed Featherweight Java

• 3
• 0
• 0

fnuecke-sedna-risc-v-emu

• 3
• 0
• 0

AIL

the AIL Programming Language

• 3
• 0
• 0

tiscript

Automatically exported from code.google.com/p/tiscript

• 3
• 0
• 0

rpythonic

Automatically exported from code.google.com/p/rpythonic

• 3
• 0
• 0

OpenPGP-Python

A port of OpenPGP-PHP to Python

• 3
• 0
• 0

docker-mac-vagrant

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

• 3
• 0
• 0

DEV-SAMPLES-JAVA-Putting_Metaclasses

• 3
• 0
• 0

atl

A Tensor Language

• 3
• 0
• 0

AnonNPEX

• 3
• 0
• 0

ruby-debug-ide

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

• 3
• 0
• 0

google-http-java-client

Google HTTP Client Library for Java

• 3
• 0
• 0

Card-Ocr

身份证识别OCR

• 3
• 0
• 0

ehsm