105 Open source projects that are alternatives of or similar to switch

Openllet is an OWL 2 reasoner in Java, build on top of Pellet.

OpenNARS for Research 3.0+

🦖 obj2usdz, convert .OBJ files to .USDZ on iOS

Examples of not obvious behaviors for javascript beginner programmers

Logic Circuits from the Juice library

An example of using CI for Haxe projects.

The Flix Programming Language

A 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.

An efficient graph solver for generating well-formed models

TypeDB: a strongly-typed database

Mod for minetest that adds digital circuitry [=minecraft redstone]

Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

🎡 Build Python wheels for all the platforms on CI with minimal configuration.

Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al

Create 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.

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

Simpler and centralized CI configuration for Python extensions.

A digital logic simulator

Package and distribute Electron Apps and run them in Kiosk mode on Windows 10

Functional relational programming for Clojure(Script).

Version 2 of my Crazy Small CPU

A JavaScript propositional logic and resolution library

A curated list of awesome philosophy

Fitch style proof constructor

Move your mouse, generate code from flow chart

ACL2 System and Books as Maintained by the Community

INACTIVE: Move your mouse, generate code from flow chart

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls

Solutions for the book "Language Proof and Logic".

Docker image to automatically export your Godot games.

LoMRF is an open-source implementation of Markov Logic Networks

truth-table-generator is a tool that allows to generate a truth table

A digital logic designer and circuit simulator.

Backend code challenge

Final Year Masters Project: modal logic solver tableaux

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

λΠ Programming Language Theory

This plug-in allows GPU or CPU accelerated viewport rendering on all OpenCL 1.2 hardware for the open source USD and Hydra system. You can build this plug-in as a USDView plug-in or a Houdini plug-in.

Curated list of Prolog packages and resources

Discord all-purpose bot, made using Spring Boot, JPA, Hibernate, REST, HikariCP. Written for fun, do not take this serious.

TypeQL: the query language of TypeDB - a strongly-typed database

A really small getting-started project for USD on Windows.

📚Solutions to Language, Proof and Logic (2nd Edition)

Minimal USD Layout Editor

Digital circuit learning platform

⛓ Here's your serverless solution for sending build status from AppVeyor to Discord as webhooks.

Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.

Use CI to auto upload prebuilds

Haskell bindings for PicoSAT solver

A Reasoning System for a First-Order Logic of Limited Belief, written in C++

A free, open source, online digital circuit/logic designer.

Collection of Conan recipe + CI templates

LaTTe : a Laboratory for Type Theory experiments (in clojure)

Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models

CI skip comment

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

A predictable state management library that helps implement the BLoC design pattern

A list of philosophy books and resources.