tef

Public Repositories (6)

• • 2
  • 1

  prolog-llvmir

  prolog representation of llvmir for use with llvmas

  

  Last updated Sat Jul 18 07:19:24 -0700 2009

• • 5
  • 0

  haklog

  a functional logical scripting language

  

  Last updated Fri Jun 19 03:15:27 -0700 2009

• • 4
  • 0

  nomads

  logical state threads for swi prolog - declarative programming with state

  

  Last updated Wed Apr 08 11:25:30 -0700 2009

• • 2
  • 0

  durb

  python wrappers around existing extentions pycurl and lxml to make fetching and processing webpag...

  

  Last updated Tue Apr 07 11:23:03 -0700 2009

• • 2
  • 1

  talks

  talks

  

  Last updated Mon Apr 06 12:14:43 -0700 2009

• • 2
  • 0

  revpy

  python decompiler

  

  Last updated Tue Mar 24 01:13:36 -0700 2009