Discover @phyver Open Source projects

Pierre Hyvernat (@phyver)

phyver

Stars
2,124
Global Rank 14,428 (Top 0.5 %)
Followers 44
Registered over 9 years ago
Most used languages

OCaml
33.3 %

JavaScript
33.3 %

Python
16.7 %

Shell
16.7 %
Location 🇫🇷 France
Country Total Rank 461
Country Ranking

Shell
9

OCaml
171

Python
4,050

JavaScript
6,458

GameShell

a game to learn (or teach) how to use standard commands in a Unix shell

create_symmetry

implementation of Franck Farris recipes to produce wallpaper patterns

chariot

Prototype functional programming language with nested inductive / coinductive types, with totality checking using the size change principle

VernierWheel

FuseWhirlpools

ML-regular

small interpreter to play with (theoretical) regular expressions, automata and grammars (used as a teaching aid)