Cyprien Roche (@cyprienroche)
github

cyprienroche

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2
  • Global Rank 2,219,069 (Top 77 %)
  • Followers 11
  • Following 15
  • Registered about 5 years ago
  • Most used languages
    Prolog
         50.0 %
    Kotlin
         50.0 %
  • Location 🇫🇷 France
  • Country Total Rank 36,178
  • Country Ranking
    Prolog
         73
    Kotlin
         883

Top repositories

1

mylaCompiler

Compiler for the Myla language
Kotlin
1
star
2

logicRuleEvaluator

Given a set of logic rules, allows users to check the sldnf and stable model resolution
Prolog
1
star