Subversion
Written by: Lorna Jane Mitchell
Featured Refcardz: Top Refcardz:
  1. Git
  2. DNS
  3. Data Mining
  4. Spring Data
  5. Subversion
  1. Spring Data
  2. Subversion
  3. Spring Config.
  4. Spring Annotations
  5. Data Mining
150+ Refcardz Available · Get them all

Link Details

Previous | Next

Surprise Me!

Link 879187 thumbnail
User 478055 avatar

By mitchp
via raph-amiard.github.com
Submitted: Nov 17 2012 / 10:35

Z3 by raph-amiard
Z3 allows you to run OCaml bytecode with the regular OCaml runtime, and an LLVM backend.
Vote up
Vote down
  • 1
  • 0
  • 95
  • 10
SaveShareSend Tags: ,

Add your comment


Html tags not supported. Reply is editable for 5 minutes. Use [code lang="java|ruby|sql|css|xml"][/code] to post code snippets.

Voters For This Link (1)



Voters Against This Link (0)