jorpic/xxx
Solve logic schemes with SMT
Discovered public repositories for jorpic in the GitHub catalog.
Solve logic schemes with SMT
A proper subset of Haskell that compiles to JavaScript
Public repository.
Public repository.
Public repository.
something with glonass and navigation