Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Logic Open Source Projects

Open source projects categorized as Logic
Pyeda ⭐ 278
Python EDA
dependent packages 9total releases 43most recent commit 4 months agopypi pyeda} Downloads
Pulse ⭐ 270
✨ Pulse is a global state and logic framework for reactive Typescript & Javascript applications. Supporting frameworks like VueJS, React and React Native.
dependent packages 3total releases 74most recent commit 2 years agonpm pulse-framework} Downloads
Pluto Android ⭐ 268
Android应用开发通用框架-作者minggo
most recent commit 4 years ago
Custom Pod Autoscaler ⭐ 267
Custom Pod Autoscaler program and base images, allows creation of Custom Pod Autoscalers
dependent packages 3total releases 20most recent commit 4 months ago
Discrete Math Python Scripts ⭐ 263
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
most recent commit 3 months ago
Interactive Lp ⭐ 263
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
most recent commit 4 months ago
Transphporm ⭐ 260
Transformation Style Sheets - Revolutionising PHP templating
dependent packages 1total releases 12most recent commit 4 years agopackagist level-2/transphporm} Downloads
Fuzzylite ⭐ 258
fuzzylite: a fuzzy logic control library in C++
most recent commit 3 months ago
Dynamics Ax Integration ⭐ 255
Dynamics AX Integration samples and demos.
most recent commit a year ago
Opennars ⭐ 252
OpenNARS for Research 3.0+
most recent commit 3 years ago
Problog ⭐ 251
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
most recent commit 10 months ago
Zipcodetw ⭐ 250
Find Taiwan ZIP code by address fuzzily.
total releases 20most recent commit 2 years ago
Reactant ⭐ 247
A framework for building React applications
dependent packages 7total releases 135most recent commit 3 months agonpm reactant-module} Downloads
Awesome Rust Formalized Reasoning ⭐ 246
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
most recent commit 3 months ago
Latte ⭐ 245
LaTTe : a Laboratory for Type Theory experiments (in clojure)
total releases 14most recent commit 5 months ago
Reviews ⭐ 242
Reviewing some online CS courses I took
most recent commit 3 months ago
Ejercicios Practicos ⭐ 237
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
most recent commit 2 years ago
Orca ⭐ 236
Orchestration engine
dependent packages 37total releases 60most recent commit 3 months ago
Plezi ⭐ 233
Plezi - the Ruby framework for realtime web-apps, websockets and RESTful HTTP
total releases 79most recent commit 4 years ago
Aave Flashloan Mix ⭐ 232
A Brownie mix containing all you need to get started with developing flash loans
most recent commit 2 years ago
Limbo ⭐ 232
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
most recent commit 3 years ago
Webactivator ⭐ 231
dependent packages 503total releases 9most recent commit 7 years agonuget WebActivatorEx} Downloads
Pydatalog ⭐ 231
a datalog implementation in Python
most recent commit a year ago
The 10 Most Depended On Logic Open Source Projects
Parsetcx ⭐ 5
parse a TCX file
dependent packages 4total releases 2latest release July 08, 2013most recent commit 11 years agonpm tcxparse} Downloads
Actionkit ⭐ 18
ActionKit handles your PHP web application logics and record relationships.
dependent packages 4total releases 52latest release July 13, 2016most recent commit 7 years agopackagist corneltek/actionkit} Downloads
Hocompose ⭐ 7
Compose HOCs like a boss
dependent packages 4total releases 3latest release September 07, 2016most recent commit 8 years agonpm hocompose} Downloads
Peasy.net ⭐ 496
A business logic micro-framework for .NET and .NET Core
dependent packages 4total releases 26latest release September 24, 2022most recent commit 3 months agonuget Peasy} Downloads
Infers ⭐ 28
dependent packages 4total releases 9latest release May 23, 2016most recent commit 6 years agonuget Infers} Downloads
Exomind ⭐ 54
A personal knowledge management tool hosted on your own personal cloud
dependent packages 4total releases 11latest release October 20, 2022most recent commit 3 months agocargo exomind-protos} Downloads
Timenode Core ⭐ 13
Core logic for running an EAC TimeNode
dependent packages 4total releases 46latest release May 30, 2019most recent commit 4 years agonpm @ethereum-alarm-clock/timenode-core} Downloads
Attestations Lib ⭐ 5
:ledger: This library contains attestation specific types and logic, to be shared between bloom repos.
dependent packages 4total releases 54latest release January 07, 2020most recent commit 3 years agonpm @bloomprotocol/attestations-lib} Downloads
Ngrx Demo Apps ⭐ 39
Demo to share module (ngrx state and reducers) between Ionic and Angular apps
dependent packages 4total releases 1latest release May 02, 2018most recent commit 7 years agonpm ngrx-demo-core-teste1} Downloads
Emoji Search ⭐ 31
🔍 Searching.
dependent packages 4total releases 1latest release September 17, 2016most recent commit 8 years agonpm emoji-search} Downloads
The 10 Latest Releases In Logic Open Source Projects
Synaptik ⭐ 9
⚡️Sane & snappy state management for React applications
dependent packages 1total releases 29latest release November 14, 2022most recent commit a year agonpm synaptik} Downloads
Clingo ⭐ 545
🤔 A grounder and solver for logic programs.
dependent packages 28total releases 10latest release November 07, 2022most recent commit 5 months agopypi clingo} Downloads
Exomind ⭐ 54
A personal knowledge management tool hosted on your own personal cloud
dependent packages 4total releases 11latest release October 20, 2022most recent commit 3 months agocargo exomind-protos} Downloads
Trellis ⭐ 5
A Kotlin implementation of the Specification Pattern
total releases 8latest release October 19, 2022most recent commit a year ago
Filter Bundle ⭐ 47
Filter bundle for API Platform, Filter Logic
total releases 8latest release October 12, 2022most recent commit 3 months ago
Pocket_prover ⭐ 27
A fast, brute force, automatic theorem prover for first order logic
dependent packages 2total releases 27latest release October 07, 2022most recent commit a year agocargo pocket_prover} Downloads
Tiny Invariant ⭐ 1,442
A tiny invariant function
dependent packages 4,475total releases 19latest release September 28, 2022most recent commit 5 months agonpm tiny-invariant} Downloads
Peasy.net ⭐ 496
A business logic micro-framework for .NET and .NET Core
dependent packages 4total releases 26latest release September 24, 2022most recent commit 3 months agonuget Peasy} Downloads
Py Metric Temporal Logic ⭐ 64
Python library for working with Metric Temporal Logic (MTL)
dependent packages 2total releases 15latest release September 24, 2022most recent commit a year agopypi metric-temporal-logic} Downloads
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
Cookbook
University
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.