Richard Moot (@RichardMoot)
github

RichardMoot

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    37
  • Global Rank 421,852 (Top 15 %)
  • Followers 22
  • Following 2
  • Registered over 12 years ago
  • Most used languages
    Prolog
         66.7 %
    Makefile     16.7 %
    Jupyter Notebook
         16.7 %
  • Location 🇫🇷 France
  • Country Total Rank 9,667
  • Country Ranking
    Prolog
         3
    Makefile     465
    Jupyter Notebook
         2,594

Top repositories

1

LinearOne

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Prolog
17
star
2

Grail0

Grail0 is a bare-bones proof net theorem prover for multimodal categorial grammars producing natural deduction output
Prolog
7
star
3

Grail

Grail is a theorem prover for multimodal type-logical grammars
Prolog
7
star
4

GrailLight

Light-weight chart parser for multimodal type-logical grammars
Prolog
3
star
5

models

French POS- and supertag models
Makefile
1
star
6

Slides

Slides for some of my presentations
1
star
7

DeepGrail

Deep Learning version of the POS-tagger/supertagger for GrailLight
Jupyter Notebook
1
star