Popular repositories Loading

1. tempo-tango tempo-tango Public

   Tempo-tango is a .NET interpreter for Linear Temporal Logic in F#. Tempo-tango talks about time as events in the future and extends normal propositional logic by including a time dimension.

   F# 4

2. truth-teller truth-teller Public

   An assumption based truth maintenance system (ATMS) in C#

   C# 1

3. task-friend task-friend Public

   Friendly task runner for the command line

   C#