Popular repositories Loading

1. Kepler-World Kepler-World Public

   A Python turtle simulation of planet movements to study Kepler's laws and how they emerge from Newton's law of gravity, for high school or lower level undergraduate students. Also, slides on astron…

   TeX 2

2. Wall-Follower-Evolutionary-Programming Wall-Follower-Evolutionary-Programming Public

   Wall follower - an evolutionary programming experiment with adjustable parameters, implemented in Common LISP. Educational software.

   Common Lisp 1

3. Propositional-Resolution Propositional-Resolution Public

   Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.

   Prolog 1

4. Prolog-Arrays Prolog-Arrays Public

   Multi-dimensional, dynamic, logical arrays with logarithmic complexity indexing, implemented in ISO Prolog.

   Prolog

5. Orthogonal-Latin-Squares-CLP-FD Orthogonal-Latin-Squares-CLP-FD Public

   A program in GNU Prolog with Constraint Logic Programming over finite arithmetical domain to find orthogonal Latin squares of a given size.

   Prolog

6. Distributed-Lists Distributed-Lists Public

   Exercises on distributed lists, using a chain of processing elements (PEs), each PE simulated by a thread.

   Python