PLASTIC
Focus on next generational technology research. [QQ Group: 319293196]
Popular repositories Loading
-
ShapeBuilderLanguage
ShapeBuilderLanguage PublicA DSL to draw graphics on a JFrame, which is built with JetBrains MPS
-
Avalon-Executive
Avalon-Executive PublicA safe program compiler & executor base on Docker.
-
Repositories
Showing 10 of 51 repositories
- Physics-lab Public
- Natural_Logic_Interpreter Public Forked from ParhamP/Natural_Logic_Interpreter
Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic