logical-juggling

describe periodic (juggling) patterns in first-order logic and find models via constraint programming

OTHER License

Stars

Ecosystems: Haskell

Statistics for this project are still being loaded, please check back later.

An Experiment in Haskell Symbolic Algebra

Synchronous programming in Haskell

outline & examples for my ZuriHac 2020 talk, Languages All the Way Down

The easy parallel algorithm specification language

Modal Tableau with Interpolation in Haskell

Generate semi-dynamic UIs with Concur

An interpreter for learning and exploring pure λ-calculus

A program for evaluating a Haskell expression step-by-step

just another compiler experiment

Readings on computational logic, interactive theorem proving and functional programming.