HaxeCIAn example of using CI for Haxe projects.
Stars: ✭ 45 (+104.55%)
Mutual labels: appveyor
illogicalA micro conditional javascript engine used to parse the raw logical and comparison expressions, evaluate the expression in the given data context, and provide access to a text form of the given expressions.
Stars: ✭ 16 (-27.27%)
Mutual labels: logic
kiosk-demo-electronPackage and distribute Electron Apps and run them in Kiosk mode on Windows 10
Stars: ✭ 68 (+209.09%)
Mutual labels: appveyor
cibuildwheel🎡 Build Python wheels for all the platforms on CI with minimal configuration.
Stars: ✭ 1,350 (+6036.36%)
Mutual labels: appveyor
awesome-philosophyA curated list of awesome philosophy
Stars: ✭ 119 (+440.91%)
Mutual labels: logic
ioBroker.linkeddevicesCreate linked objects (datapoints) of your devices with a self-defined structure. This makes it possible to create a structure in ioBroker, where all objects are centralized, e.g. to be used in the vis or scripts.
Stars: ✭ 17 (-22.73%)
Mutual labels: logic
scikit-ciSimpler and centralized CI configuration for Python extensions.
Stars: ✭ 15 (-31.82%)
Mutual labels: appveyor
spring-discord-botDiscord all-purpose bot, made using Spring Boot, JPA, Hibernate, REST, HikariCP. Written for fun, do not take this serious.
Stars: ✭ 26 (+18.18%)
Mutual labels: appveyor
muleMinimal USD Layout Editor
Stars: ✭ 27 (+22.73%)
Mutual labels: usd
prebuild-ciUse CI to auto upload prebuilds
Stars: ✭ 17 (-22.73%)
Mutual labels: appveyor
ciaoCiao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Stars: ✭ 190 (+763.64%)
Mutual labels: logic
templatesCollection of Conan recipe + CI templates
Stars: ✭ 71 (+222.73%)
Mutual labels: appveyor
LPL-solutionsSolutions for the book "Language Proof and Logic".
Stars: ✭ 51 (+131.82%)
Mutual labels: logic
docker-godot-exportDocker image to automatically export your Godot games.
Stars: ✭ 42 (+90.91%)
Mutual labels: appveyor
truth-table-generatortruth-table-generator is a tool that allows to generate a truth table
Stars: ✭ 47 (+113.64%)
Mutual labels: logic
challenge-bravoBackend code challenge
Stars: ✭ 79 (+259.09%)
Mutual labels: usd
awesome-rust-formalized-reasoningAn exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Stars: ✭ 185 (+740.91%)
Mutual labels: logic
consistencyImplementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
Stars: ✭ 26 (+18.18%)
Mutual labels: logic
ci-skipCI skip comment
Stars: ✭ 35 (+59.09%)
Mutual labels: appveyor
Leo-IIIAn Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
Stars: ✭ 29 (+31.82%)
Mutual labels: logic