juodaspaulius/ClaferGrammar
Repository to support development of experimental Clafer grammar
Developer Profile
juodaspaulius
Discovered public repositories for juodaspaulius in the GitHub catalog.
juodaspaulius/clafer
Clafer is a lightweight modeling language
juodaspaulius/clafer-old-customBNFC
Public repository.
juodaspaulius/bnfc
BNF Converter
juodaspaulius/bclafer_old
Public repository.
juodaspaulius/BehavioralClafer
Public repository.
juodaspaulius/ruby-style-guide
A community-driven Ruby coding style guide
juodaspaulius/Sudoku-Forward-Check
IAIP Project 3 / Sudoku