Pinned Repositories
ivar-rummelhoff
Config files for my GitHub profile.
tree-sitter-ng
Next generation Tree Sitter Java binding.
sCASP
Top-down interpreter for ASP programs with Constraints
ivm-implementations
iVM contemporary implementations
eatb
The archiving tool box is a suite of tools for the creation of information packages for archival purposes.
dbspec
Interpreter for the DbSpec language
ivm-formal-proofs
ivm-formal-spec
tree-sitter-dbspec
tree-sitter-ng-dbspec
Java bindings for DbSpec parser
ivar-rummelhoff's Repositories
ivar-rummelhoff/ivar-rummelhoff
Config files for my GitHub profile.