Project info for BoopCore

Created 22 Nov 2009 at 09:48 UTC by tampe, last modified 22 Nov 2009 at 09:50 UTC by tampe.

Notes:

Library that does,

Unification
* Pattern        Matching
* Segment        Matching
* Typecheck      Matching
* Parser Pattern Matching
* Programmable Streams
* Handle different unifiers
* Handle matching and unifying
* Typechecking

The idea is to use this library for Shen the successor
of Qi.

This can be used to
* Construct a functional programming languishes on top
  of systems that are like LISP.
* To construct type-checking utilities
* Write code optimizer using type informations
* Macros that now about types
* Construct Prolog like languishes, any system that needs
  effective unification and backtracking can use this system
* Can be used to parse information in any tree like 
  structure

The code is in Qi, but it will generate libraries for 
other platforms as well.

License: LGPL v2, Some files in the repo is under QiII lisence

This project has the following developers:

• tampe is a Lead Developer.

New HTML Parser: The long-awaited libxml2 based HTML parser code is live. It needs further work but already handles most markup better than the original parser.

Keep up with the latest Advogato features by reading the Advogato status blog.

If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!