Popular repositories

1. nominal-lstar nominal-lstar Public

   Code for "Learning nominal automata"

   Haskell 11

2. advanced-programming advanced-programming Public archive

   Homework for the course advanced programming

   Clean 4 1

3. hybrid-ads hybrid-ads Public

   (Mirror) Hybrid adaptive distinguishing sequences for FSM-based complete testing

   C++ 2 1

4. ons-hs ons-hs Public

   (Mirror) Implementation of the ONS (Ordered Nominal Sets) library in Haskell

   Haskell 2

5. AedsHomework AedsHomework Public archive

   homework for aeds

   C 1

6. genetic-sequence-formulizer genetic-sequence-formulizer Public archive

   Playing around with genetic programming. Program will make a formula which approximates the input sequence.

   C++ 1