The Caml Humps
Caml Light / OCaml
Languages analyzers
Latest adds/updates
Applications
CORBA and COM
Camlp4 syntax extensions
Communications, networking
Compilation tools and libs
Compilers / Programming Languages
Cool hacks
Cryptography
Data structures
Database interface
Database-related tools
Development tools
Documentation tools
Documentation, teaching, lecture notes
Editor modes
Extensions, derived languages
Games
Graphics and GUI tool kits
Interfaces with other languages
Languages analyzers
Lexing / Parsing
Linguistics
Localization
Makefiles, autoconf support, ...
Mathematics
Multimedia
Parallel programming
Pre-processing / pretty-printing
String manipulation / Text processing
System programming
Utilities libraries
Web publishing
XML tools
Date
Name
Description
2003-12-02
A B language analysis library
By
Georges Mariano
2002-08-21
CIL
Infrastructure for C Program Analysis and Transformation.
By
Westley Weimer
,
Scott McPeak
,
George Necula
