Morten Maate (@maate)
github

maate

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    5
  • Global Rank 1,435,387 (Top 50 %)
  • Followers 6
  • Following 3
  • Registered about 14 years ago
  • Most used languages
    C#
         50.0 %
    F#
         50.0 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 4,350
  • Country Ranking
    F#
         22
    C#
         1,178

Top repositories

1

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.
F#
4
star
2

truth-teller

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