maate

Schultz A/SCopenhagen

Pinned Repositories

task-friend
Friendly task runner for the command line
Language:C#0 1 00
tempo-tango
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.
Language:F#4 3 00
truth-teller
An assumption based truth maintenance system (ATMS) in C#
Language:C#1 2 00

maate's Repositories

maate/tempo-tango
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.
Language:F#4 3 00
maate/truth-teller
An assumption based truth maintenance system (ATMS) in C#
Language:C#1 2 00
maate/task-friend
Friendly task runner for the command line
Language:C#0 1 00