IPOSE遇见更好的你！

https://github.com/dimGlyn/first-order-logic

2018-08-10

开源项目/

1
https://github.com/fixxxedpoint/hiProlog

2018-10-01

开源项目/

0
https://github.com/dimGlyn/propositional-logic

2018-08-11

开源项目/

0
https://github.com/vlad-km/horn

2018-04-03

开源项目/

0
https://github.com/GoogleChromeLabs/airhorn

2015-07-13

开源项目/

343
https://github.com/souffle-lang/souffle

2016-03-12

开源项目/

444
https://github.com/HebrewTools/ClauseFormatter

2016-04-13

开源项目/

6
https://github.com/iammenasco/TouchRap

2019-06-13

开源项目/

5
https://github.com/Alex-Mathai-98/Automated-Horn-Regulation-Mechanism

2017-08-13

开源项目/

1
https://github.com/iammenasco/rap-horn

2017-01-12

开源项目/

5
https://github.com/spaceappsnyc/UnicodeUnicorns

2018-10-21

开源项目/

0
https://github.com/slurmulon/flap

2016-01-07

开源项目/

3
https://github.com/prepare/opendiagram

2017-11-16

开源项目/

6
https://github.com/KerneLab/magnifier

2018-11-30

开源项目/

1
https://github.com/eugeniobruno/boolminot

2017-07-02

开源项目/

0
https://github.com/AissamDjahnine/Mouvement_estimation

2018-11-30

开源项目/

2
https://github.com/ucfopen/adverbial-clause-roulette-materia-widget

2018-12-21

开源项目/

1
https://github.com/docelic/text_to_sql_search.cr

2018-01-07

开源项目/

2
https://github.com/coryasilva/squrll

2017-12-09

开源项目/

2
https://github.com/slimgroup/SetIntersectionProjection.jl

2019-01-21

开源项目/

7