[nem-en] [macro] building event member

[Michal Moskal]

On 3/9/07, Kamil Skalski <kamil.skalski at gmail.com> wrote:
> It's a small GUI application with SQLite DB and communication over USB
> --> radio with a bunch of mobile devices. All of this is used as a
> voting / conference interaction system, which I create as a little
> commercial project (http://glosowanie.net).
>
> Currently I have a C# front-end (I had no time to migrate it to
> Nemerle yet, but I guess with current VS integration it is feasible)
> and Nemerle library + some macros.
>
> It's about 7500 k lines of code in Nemerle and 10 k lines of C#
> (mainly designer code). It's not open source.
>
> I think Michal's theorem prover is larger application, as he works on
> it on a more full-time basis. And he also mentioned something about
> open-sourcing it.

It's open source:
  http://nemerle.org/~malekith/smt/en.html

It's not bigger (depending on branch either about 6k or 9k lines or
Nemerle code). I guess this is just research software - you test some
heuristcs/algorithm and throw it away. I've been working on it for
about 1 year, I guess 0.5 year on a daily basis.

-- 
   Michał