Awesome Open Source
Awesome Open Source
Combined Topics
logic x

The Top 5,528 Logic Open Source Projects

Ribs ⭐ 6,898
Uber's cross-platform mobile architecture framework.
dependent packages 6total releases 12most recent commit a month ago
Getx ⭐ 6,714
Open screens/snackbars/dialogs/bottomSheets without context, manage states and inject dependencies easily with Get.
dependent packages 33total releases 308most recent commit a month ago
Awesome Math ⭐ 5,949
A curated list of awesome mathematics resources
most recent commit a month ago
Plt ⭐ 4,755
Programming Language Theory λΠ
most recent commit 3 days ago
Swagger Node ⭐ 3,904
Swagger module for node.js
dependent packages 24total releases 13most recent commit 2 years agonpm swagger-node-express} Downloads
Unstated Next ⭐ 3,817
200 bytes to never think about React state management libraries ever again
most recent commit 5 months ago
Imove ⭐ 3,480
INACTIVE: Move your mouse, generate code from flow chart
dependent packages 2total releases 3most recent commit 3 months agonpm @imove/compile-code} Downloads
Clean Architecture Swiftui ⭐ 3,476
SwiftUI sample app using Clean Architecture. Examples of working with CoreData persistence, networking, dependency injection, unit testing, and more.
most recent commit a month ago
Tswechat ⭐ 3,470
A WeChat alternative. Written in Swift 5.
most recent commit 3 years ago
Elsa Core ⭐ 3,469
A .NET Standard 2.0 Workflows Library
dependent packages 55total releases 91most recent commit 2 days agonuget Elsa.Core} Downloads
Trailblazer ⭐ 3,232
The advanced business logic framework for Ruby.
most recent commit 15 days ago
Typedb ⭐ 3,125
TypeDB: a strongly-typed database
dependent packages 5total releases 24most recent commit 19 hours ago
Middy ⭐ 2,908
🛵 The stylish Node.js middleware engine for AWS Lambda 🛵
dependent packages 94total releases 147most recent commit 6 days agonpm middy} Downloads
Mustache ⭐ 2,762
Logic-less Ruby templates.
dependent packages 298total releases 46most recent commit a year agorubygems mustache} Downloads
Dependabot Core ⭐ 2,748
🤖 The core logic behind Dependabot's update PR creation. For product feedback see: https://github.com/github/feedback/discussions/cat
dependent packages 18total releases 757most recent commit 11 hours agorubygems dependabot-common} Downloads
Digital ⭐ 2,421
A digital logic designer and circuit simulator.
most recent commit 5 days ago
Susi_android ⭐ 2,246
SUSI.AI Android App https://play.google.com/apps/testing/ai.susi
most recent commit a year ago
Logisim Evolution ⭐ 2,216
Digital logic design tool and simulator
most recent commit 3 months ago
Entityx ⭐ 1,923
EntityX - A fast, type-safe C++ Entity-Component system
most recent commit 5 months ago
Vest ⭐ 1,896
Vest ✅ Declarative validations framework
dependent packages 6total releases 875most recent commit 4 days agonpm vest} Downloads
Rosie ⭐ 1,867
Rosie is an Android framework to create applications following the principles of Clean Architecture.
total releases 9most recent commit 3 years ago
Jianshi ⭐ 1,852
A Full-Stack mobile app, including Android & Server, Simple-Poem 简诗. You can write poem in graceful & traditional Chinese style.
most recent commit 4 years ago
Redux Logic ⭐ 1,785
Redux middleware for organizing all your business logic. Intercept actions and perform async processing.
dependent packages 25total releases 80most recent commit a year agonpm redux-logic} Downloads
Open Event Organizer Android ⭐ 1,675
Open Event Mobile App for Organizers and Entry Managers https://play.google.com/store/apps/details?id=com.
most recent commit 10 months ago
Chessboardjs ⭐ 1,517
JavaScript chessboard
dependent packages 2total releases 1most recent commit a year agonpm @chrisoakman/chessboardjs} Downloads
Flix ⭐ 1,497
The Flix Programming Language
most recent commit 11 hours ago
Logica ⭐ 1,427
Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.
total releases 21most recent commit a month ago
Chalk ⭐ 1,404
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
dependent packages 5total releases 73most recent commit 4 days agocargo chalk-derive} Downloads
Python Elevator Challenge ⭐ 1,374
So You Think You Can Program An Elevator
most recent commit a year ago
Face2face ⭐ 1,353
基于netty的异步非阻塞实时聊天(IM)服务器。
most recent commit 3 years ago
Core.logic ⭐ 1,343
dependent packages 1total releases 40most recent commit 4 months ago
Android Flux Todo App ⭐ 1,299
Example of how to implement an Android TODO App using Facebook Flux Architecture
most recent commit 6 years ago
Csla ⭐ 1,023
A home for your business logic in any .NET application.
most recent commit 4 days ago
Logicjs ⭐ 990
Logic programming for JavaScript.
most recent commit 6 years ago
Sqlancer ⭐ 951
Detecting Logic Bugs in DBMS
total releases 4most recent commit a day ago
Logic Tutorial ⭐ 911
A Very Gentle Introduction to Relational Programming
most recent commit 4 years ago
Clean Architecture Example ⭐ 890
Clean Architecture Example (Java): Example of what clean architecture would look like (in Java)
most recent commit 4 years ago
Webclient ⭐ 883
The mega.nz web client
most recent commit 7 days ago
Basic ⭐ 880
🙈 mvvm flow 协程
most recent commit 6 months ago
Json Logic Js ⭐ 845
Build complex rules, serialize them as JSON, and execute them in JavaScript
dependent packages 114total releases 17most recent commit 6 months agonpm json-logic-js} Downloads
Flume ⭐ 838
Extract logic from your apps with a user-friendly node editor powered by React.
dependent packages 1total releases 86most recent commit 2 months agonpm flume} Downloads
Porter ⭐ 837
Porter enables you to package your application artifact, client tools, configuration and deployment logic together as an installer that you can distribute, and install with a single command.
dependent packages 16total releases 163most recent commit 12 hours ago
Presenter ⭐ 832
Easy view presenters in your apps.
dependent packages 78total releases 11most recent commit 3 months agopackagist laracasts/presenter} Downloads
Dsview ⭐ 805
An open source multi-function instrument for everyone
most recent commit 21 hours ago
Redux Cycles ⭐ 759
Bring functional reactive programming to Redux using Cycle.js
dependent packages 6total releases 6most recent commit 4 years agonpm redux-cycles} Downloads
Futurekit ⭐ 757
A Swift based Future/Promises Library for IOS and OS X.
total releases 16most recent commit 3 years ago
Easy Php ⭐ 754
A Faster Lightweight Full-Stack PHP Framework 🚀
total releases 11most recent commit a year ago
Axios Auth Refresh ⭐ 741
Library that helps you implement automatic refresh of authorization via axios interceptors. You can easily intercept the original request when it fails, refresh the authorization and continue with the original request, without user even noticing.
dependent packages 26total releases 32most recent commit 2 months agonpm axios-auth-refresh} Downloads
Kiui ⭐ 736
Auto-layout Ui library, lightweight, skinnable and system agnostic, with an OpenGL backend
most recent commit 4 years ago
Logpy ⭐ 736
Logic Programming in Python
total releases 14most recent commit 3 years ago
Mercury ⭐ 736
The Mercury logic programming system.
most recent commit 2 days ago
Go Push ⭐ 723
用GO做推送
most recent commit 3 years ago
Openlogic ⭐ 697
An open-source, customizable intermediate logic textbook
most recent commit 3 months ago
Stacked ⭐ 684
A Flutter application architecture created from real world scenarios
dependent packages 5total releases 101most recent commit a day ago
Circuit ⭐ 650
An efficient and feature complete Hystrix like Go implementation of the circuit breaker pattern.
dependent packages 11total releases 11most recent commit 2 days ago
Tiny Invariant ⭐ 648
A tiny invariant function
dependent packages 648total releases 15most recent commit 3 months agonpm tiny-invariant} Downloads
Magmide ⭐ 639
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
most recent commit 21 days ago
Sfdc Trigger Framework ⭐ 631
A minimal trigger framework for your Salesforce Apex Triggers
total releases 15most recent commit 4 months ago
Scikit Fuzzy ⭐ 600
Fuzzy Logic SciKit (Toolkit for SciPy)
most recent commit 2 months ago
Wired Logic ⭐ 600
Wired Logic - a pixel based logic simulator
most recent commit 5 years ago
Vue Seed ⭐ 578
a boilerplate for large vue project with ElementUI 2.x
most recent commit 6 months ago
Ios Mvp Clean Architecture ⭐ 571
Demo iOS application built to highlight MVP (Model View Presenter) and Clean Architecture concepts
most recent commit 2 years ago
Martin Lof ⭐ 546
papers of Per Martin Löf
most recent commit 8 months ago
Nustache ⭐ 542
Logic-less templates for .NET
dependent packages 33total releases 22most recent commit 3 years agonuget Nustache} Downloads
Rectify ⭐ 529
Build maintainable Rails apps
dependent packages 14total releases 27most recent commit 2 years agorubygems rectify} Downloads
Maya Usd ⭐ 512
A common USD (Universal Scene Description) plugin for Autodesk Maya
most recent commit a day ago
Vue Flow Form ⭐ 507
Create conversational conditional-logic forms with Vue.js.
total releases 22most recent commit 4 months ago
Grant ⭐ 499
Simplifying Android Permissions
most recent commit 5 years ago
Ios Viper Xcode Templates ⭐ 486
most recent commit 7 months ago
States_rebuilder ⭐ 466
a simple yet powerful state management technique for Flutter
dependent packages 2total releases 78most recent commit 2 months ago
Coursera Ml Using Matlab Python ⭐ 460
coursera吴恩达机器学习课程作业自写Python版本+Matlab原版
most recent commit 4 years ago
Peasy.net ⭐ 450
A business logic micro-framework for .NET and .NET Core
dependent packages 4total releases 25most recent commit 8 months agonuget Peasy} Downloads
Ktacademyportal ⭐ 439
Multiplatform Kotlin application of KotlinAcademy
most recent commit 4 years ago
Beaglelogic ⭐ 438
A Software Suite that implements a logic analyzer with the PRU on the BeagleBone / BeagleBone Black.
most recent commit 4 months ago
Sifloatingcollection_swift ⭐ 420
iOS Swift framework for creating user interface like apple music genre selection bubbles
total releases 5most recent commit 4 years ago
Machine Learning Note ⭐ 414
机器学习笔记
most recent commit 5 years ago
Awesome Prolog ⭐ 414
Curated list of Prolog packages and resources
most recent commit 9 months ago
Login Basics ⭐ 411
The Login Basics is an implementation of Android Login with Facebook, Google Plus (G+) and your own app login.
most recent commit 5 years ago
Clingo ⭐ 406
🤔 A grounder and solver for logic programs.
dependent packages 16total releases 7most recent commit 2 months agopypi clingo} Downloads
Retry Axios ⭐ 404
🦖 A super flexible interceptor for Axios that makes it easy to retry requests.
dependent packages 51total releases 25most recent commit a month agonpm retry-axios} Downloads
El Data Table ⭐ 393
🥘Base on element-ui, makes crud easily
dependent packages 3total releases 46most recent commit 10 months agonpm @femessage/el-data-table} Downloads
Samplegame Fantasywarrior3d ⭐ 387
A 3D sample game powered by Cocos2d-x v3.8
most recent commit 4 years ago
Logic_analyzer ⭐ 383
Implementation of a SUMP compatible logic analyzer for the Arduino
most recent commit 4 months ago
Django Pg Zero Downtime Migrations ⭐ 382
Django postgresql backend that apply migrations with respect to database locks
total releases 12most recent commit 4 months ago
Docker Mods ⭐ 371
Documentation and Examples of base container modifications
most recent commit a month ago
The_founder ⭐ 360
start a company, ruin the world
most recent commit 2 years ago
Django Dajax ⭐ 356
Easy to use library to create asynchronous presentation logic with django and dajaxice
most recent commit 6 years ago
Stremio Core ⭐ 349
⚛️ The Stremio Core: types, addon system, UI models, core logic
most recent commit 2 days ago
Presenter ⭐ 344
Decorate your objects using presenters. Primarily to keep presentation logic out of your models.
dependent packages 67total releases 10most recent commit 2 years agopackagist robclancy/presenter} Downloads
Goedelgod ⭐ 342
Formalizations of Gödel's Ontological Proof of God's Existence
most recent commit 3 years ago
Blueprint ⭐ 331
dependent packages 12most recent commit a year ago
Flamingo Commerce ⭐ 326
Flexible E-Commerce Framework on top of Flamingo. Used to build E-Commerce "Portals" and connect it with the help of individual Adapters to other services.
dependent packages 3total releases 63most recent commit 2 days ago
Slayer ⭐ 317
SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
most recent commit 6 years ago
Modallogic ⭐ 316
Modal Logic Playground
most recent commit a year ago
Silon ⭐ 310
Logic Gates and Adders in pure CSS
most recent commit 2 years ago
Crochet ⭐ 303
Explorations in reactive UI patterns
most recent commit a year ago
Office Exploit Case Study ⭐ 297
most recent commit a year ago
Angularjs Styleguide ⭐ 296
Example of scalable architecture for my NG-Conf 2014 talk
most recent commit 4 years ago
Toyroom ⭐ 294
A Shelly-based library for business-logic-oriented programming. Shelly plays Domino in ToyRoom.
most recent commit 6 years ago
Reclare ⭐ 289
Declarative State and Logic Management
most recent commit 3 years ago
1-100 of 5,528 projects
Categories
Advertising 📦 8
All Projects
Application Programming Interfaces 📦 107
Applications 📦 174
Artificial Intelligence 📦 69
Blockchain 📦 66
Build Tools 📦 105
Cloud Computing 📦 68
Code Quality 📦 24
Collaboration 📦 27
Command Line Interface 📦 38
Community 📦 79
Companies 📦 60
Compilers 📦 59
Computer Science 📦 73
Configuration Management 📦 37
Content Management 📦 153
Control Flow 📦 187
Data Formats 📦 72
Data Processing 📦 249
Data Storage 📦 116
Economics 📦 56
Frameworks 📦 178
Games 📦 110
Graphics 📦 92
Hardware 📦 137
Integrated Development Environments 📦 43
Learning Resources 📦 139
Legal 📦 24
Libraries 📦 117
Lists Of Projects 📦 19
Machine Learning 📦 313
Mapping 📦 57
Marketing 📦 15
Mathematics 📦 54
Media 📦 214
Messaging 📦 96
Networking 📦 292
Operating Systems 📦 71
Operations 📦 114
Package Managers 📦 50
Programming Languages 📦 173
Runtime Environments 📦 90
Science 📦 42
Security 📦 343
Social Media 📦 23
Software Architecture 📦 65
Software Development 📦 60
Software Performance 📦 53
Software Quality 📦 115
Text Editors 📦 40
Text Processing 📦 118
User Interface 📦 291
User Interface Components 📦 440
Version Control 📦 26
Virtualization 📦 63
Web Browsers 📦 35
Web Servers 📦 23
Web User Interface 📦 167
Top Programming Languages
Javascript  (1,059,739)
Python  (807,156)
Java  (388,454)
Php  (285,984)
Typescript  (246,254)
C Plus Plus  (238,787)
Ruby  (221,835)
C  (182,003)
Shell  (171,198)
C Sharp  (164,103)
Golang  (158,248)
Swift  (65,213)
R  (57,905)
Rust  (57,566)
Objective C  (57,184)
Dart  (52,612)
Kotlin  (46,446)
Lua  (33,878)
Matlab  (31,150)
Perl  (30,540)
Language  (30,062)
Scala  (28,665)
Haskell  (20,368)
Clojure  (19,133)
Powershell  (19,013)
Bash  (18,678)
Coffeescript  (17,292)
Elixir  (16,655)
Assembly  (14,679)
Processing  (13,307)
Julia  (12,743)
Basic  (10,739)
Flow  (10,547)
Emacs Lisp  (10,417)
Erlang  (9,065)
Groovy  (8,446)
Scheme  (8,438)
Solidity  (7,954)
Ocaml  (6,703)
Pascal  (6,439)
Hack  (6,398)
Lisp  (6,341)
Fortran  (5,540)
Elm  (5,484)
Common Lisp  (5,298)
Dlang  (4,745)
Shell Script  (4,655)
Python Library  (4,455)
Crystal  (4,390)
Scripting  (4,207)
Top Projects
Freecodecamp ⭐ 348,159
996.icu ⭐ 262,763
Free Programming Books ⭐ 237,303
Coding Interview University ⭐ 222,665
Awesome ⭐ 206,565
Developer Roadmap ⭐ 198,217
Public Apis ⭐ 197,271
Vue ⭐ 197,223
React ⭐ 190,606
System Design Primer ⭐ 184,236
Tensorflow ⭐ 166,046
Bootstrap ⭐ 158,216
You Dont Know Js ⭐ 153,649
Cs Notes ⭐ 151,618
Ohmyzsh ⭐ 146,966
Build Your Own X ⭐ 145,201
Javascript Algorithms ⭐ 143,983
Flutter ⭐ 142,246
Python ⭐ 139,248
Gitignore ⭐ 134,582
Linux ⭐ 133,899
Vscode ⭐ 133,454
Awesome Python ⭐ 131,759
Javascript ⭐ 124,014
Javaguide ⭐ 123,971
Python 100 Days ⭐ 120,066
Computer Science ⭐ 118,096
Youtube Dl ⭐ 111,107
Fucking Algorithm ⭐ 107,431
The Art Of Command Line ⭐ 106,741
React Native ⭐ 103,527
Electron ⭐ 102,301
D3 ⭐ 101,735
Go ⭐ 101,131
30 Seconds Of Code ⭐ 96,728
Create React App ⭐ 95,709
Axios ⭐ 94,209
Free Programming Books Zh_cn ⭐ 93,295
Awesome Selfhosted ⭐ 92,838
Kubernetes ⭐ 89,722
Next.js ⭐ 88,761
Node ⭐ 88,478
Terminal ⭐ 83,789
Deno ⭐ 83,340
Three.js ⭐ 83,174
Awesome Go ⭐ 83,058
Angular ⭐ 82,342
Typescript ⭐ 81,850
Ant Design ⭐ 80,877
Material Ui ⭐ 79,382
Privacy | About | Terms | Follow Us On Twitter

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

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