PABI-Logical

Remake of the Amiga game Logical

AutoHotkey3gpl-3.0

7 years ago

redux-logic

Redux middleware for organizing all your business logic. Intercept actions and p

JavaScript1807mit

last year

LogicNG

LogicNG

The Next Generation Logic Library

Java134apache-2.0

2 months ago

pgdeltastream

pgdeltastream

Streaming Postgres logical replication changes atleast-once over websockets

Go252apache-2.0

6 years ago

gological-replicationpostgresql

LogicalDefence

An open source Android app that displays a list of the logical fallacies that ha

Dart119gpl-2.0

2 months ago

androideducationalfdroid

Arithmosophi

Arithmosophi

A set of protocols for Arithmetic, Statistics and Logical operations

Swift67mit

4 years ago

DiceOverflow

Dice Overflow is a simple board logical game developed as master thesis in New B

Java3gpl-3.0

11 months ago

board-gameperfect-information

pglogical

Logical Replication extension for PostgreSQL 17, 16, 15, 14, 13, 12, 11, 10, 9.6

C1001other

2 months ago

cdcdata-transformationdata-transport

listr2

listr2

NodeJS Task List derived from the best! Create beautiful CLI interfaces via easy

TypeScript526mit

6 days ago

cliconsolelistr

active_interaction

:briefcase: Manage application specific business logic.

Ruby2057mit

6 months ago

activemodelcommand-patternmethod-object

rinf

rinf

Rust for native business logic, Flutter for flexible and beautiful GUI

Dart1736mit

4 months ago

androidappcross-platform

mutations

Compose your business logic into commands that sanitize and validate input.

Ruby1390mit

2 years ago

NLIL

Neural Logic Inductive Learning

Python41mit

2 years ago

nvim-highlite

nvim-highlite

A colorscheme generator that is "lite" on logic for the developer.

Lua239other

27 days ago

colorscolorschemediy

rust_android_ios

Android / iOS app with shared Rust logic

Rust239

3 years ago

androidandroid-appios

Nustache

Logic-less templates for .NET

C#596mit

last year

csla

csla

A home for your business logic in any .NET application.

C#1267mit

16 hours ago

asp-netasp-net-coreasp-net-mvc

acts_as_textcaptcha

Text-based logic question captcha's for Rails 🚫🤖

Ruby59lgpl-3.0

2 years ago

activerecordcaptchacaptcha-alternative

engine-js

⚡️ Neuledge streamlines database modeling with clear data entity definitions, cu

TypeScript238apache-2.0

last year

business-logicdata-access-layerlanguage

ThreatHunter-Playbook

ThreatHunter-Playbook

A community-driven, open-source project to share detection logic, adversary trad

Python3944mit

9 months ago

dfirhunterhunting

logic4mqtt

Logic and scripting engine for smart home automation, based around MQTT

Java17mit

9 years ago

micropython-monitor

micropython-monitor

Display the behaviour of a realtime program with a scope or logic analyser.

Python28mit

2 years ago

Plastic

Plastic

This project provides encapsulation of things like Domain, Application Rules, Bu

C#58mit

5 months ago

applicationapplication-rulesbusiness-logic

ReviewKit

A framework to provide logic designed to prompt users at the ideal moment for a

Swift27mit

4 years ago

xstate

xstate

Actor-based state management & orchestration for complex app logic.

TypeScript27087mit

24 days ago

background-jobsfinite-state-machinefsm

tossit

Library for distributed job/worker logic.

C#62mit

2 years ago

distributeddotnetcorejob

StoryGame_Android

StoryGameCE ported to Android. In this game the main goal is to make a story wit

Java8bsd-3-clause

last year

Meteor-Template-helpers

Template helpers for Session, logical operations and debug

JavaScript35bsd-3-clause

2 years ago

helpersjavascriptmeteor

cdf-program-logics

Companion Coq development for Xavier Leroy's 2021 lectures on program logics

Coq38

4 years ago

uxss-db

🔪Browser logic vulnerabilities :skull_and_crossbones:

HTML685mit

4 years ago

browsercvejavascript

temperance

temperance

A logic programming library for Common Lisp.

Common Lisp58mit

4 years ago

magento2-disable-stock-reservation

This module disables the inventory reservation logic introduced as part of MSI i

PHP212lgpl-3.0

9 months ago

Validot

Validot

Validot is a performance-first, compact library for advanced model validation. U

C#294mit

6 months ago

fluent-apimodel-validationspecification

mustache-zig

mustache-zig

Logic-less templates for Zig

Zig101mit

4 months ago

mustachemustache-templatingzig-package

gbind

Bind data to any Go value. Can use built-in and custom expression binding capabi

Go8mit

2 years ago

bindcacheexpression

cookiecutter-data-science

cookiecutter-data-science

A logical, reasonably standardized, but flexible project structure for doing and

Python8359mit

3 months ago

aicookiecuttercookiecutter-data-science

neo4j-importer

Java importer skeleton for complicated, business-logic-heavy high-performance Ne

Java26

8 years ago

javaneo4jneo4j-graphaware-framework

gauguin

gauguin

Gauguin is a Sudoku-like game for Android where you solve grids via calculation

Kotlin112gpl-3.0

2 days ago

androidandroid-gamef-droid

SLAyer

SLAyer is an automatic formal verification tool that uses separation logic to ve

OCaml326other

8 years ago

fastapi-realworld-example-app

fastapi-realworld-example-app

Backend logic implementation for https://github.com/gothinkster/realworld with a

Python2814mit

2 years ago

asyncdockerdocker-compose

openappsec

openappsec

open-appsec is a machine learning security engine that preemptively and automati

C++797apache-2.0

3 months ago

api-securityapplication-securityappsec

ocaml-mustache

mustache.js logic-less templates in OCaml

OCaml83mit

6 months ago

mustachemustache-templatesocaml

sqlancer

sqlancer

Automated testing to find logic and performance bugs in database systems

Java1479mit

last month

cockroachdbdbmsdbms-testing

cadence

cadence

Cadence is a distributed, scalable, durable, and highly available orchestration

Go8006mit

4 months ago

cadencedistributed-systemsgolang

essential-diagnostics

Essential.Diagnostics contains additional trace listeners, filters and utility c

C#69ms-rl

3 years ago

diagnosticsdot-netlogging

alexa-skills-kit-sdk-for-java

alexa-skills-kit-sdk-for-java

The Alexa Skills Kit SDK for Java helps you get a skill up and running quickly,

Java816apache-2.0

last year

aialexaalexa-skills-kit

alexa-skills-kit-sdk-for-nodejs

alexa-skills-kit-sdk-for-nodejs

The Alexa Skills Kit SDK for Node.js helps you get a skill up and running quickl

TypeScript3119apache-2.0

2 years ago

streamalert

streamalert

StreamAlert is a serverless, realtime data analysis framework which empowers you

Python2861apache-2.0

last year

analysisawskinesis

react-native-radio-buttons

react-native-radio-buttons

[DEPRECATED] A Radio-button like logic wrapper for React Native

JavaScript414mit

7 years ago

radio-buttonsreact-native

lambda-refarch-webapp

lambda-refarch-webapp

The Web Application reference architecture is a general-purpose, event-driven, w

JavaScript1588apache-2.0

2 years ago

amplifyawsaws-lambda

comp-dec-modal

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

Coq8other

3 months ago

coqctlmathcomp

vue-flow-form

vue-flow-form

Create conversational conditional-logic forms with Vue.js.

Vue769mit

4 months ago

conversational-uiformform-generator

ngrep

ngrep is like GNU grep applied to the network layer. It's a PCAP-based tool that

C902other

last year

greppingsniffer

fastapi-mongodb-realworld-example-app

fastapi-mongodb-realworld-example-app

Backend logic implementation for https://github.com/gothinkster/realworld with a

Python439mit

2 years ago

webtau

webtau

WebTau (web test automation) is a testing API, command line tool and a framework

Java368apache-2.0

last month

clidatabasegraphql

awesome-programming-for-kids

awesome-programming-for-kids

Description codeSpark is the #1 learn-to-code app for kids ages 3-10. We have

1043cc0-1.0

7 months ago

awesomeawesome-listipad

JTAGenum

Given an Arduino compatible microcontroller or Raspberry PI (experimental), JTAG

C++698

last year

arduinojtagraspberrypi

IsoHill-Game-Engine

IsoHill is a new isometric engine for Flash Player 11 [molehill] built on top of

ActionScript103

12 years ago

Peasy.NET

Peasy.NET

A business logic micro-framework for .NET and .NET Core

C#508mit

10 months ago

architectural-patternsarchitecturebusiness-logic

Flow-iOS

Make your logic flow and data flow clean and human readable

Swift21mit

7 years ago

callback-hellchain-of-responsibilitydesign-pattern

vue-props-validation

Vue props validation logic extracted for nested validation in object and arrays.

JavaScript21mit

4 years ago

vue-timer-hook

Vue timer hook is a custom hook, built to handle timer, stopwatch, and time logi

TypeScript170mit

4 months ago

composition-apihooktimer

vuex-feature-scoped-structure

vuex-feature-scoped-structure

:chart_with_upwards_trend: Feature scoped Vuex modules to have a better organiza

JavaScript225mit

6 years ago

blogpostcontainercontainers

agrona

High Performance data structures and utility methods for Java

Java2880apache-2.0

2 days ago

javaperformance

ngrx-traits

NGRX Traits is a library to help you compose and reuse state logic in your angul

TypeScript50mit

4 months ago

angularngrx

aeron

aeron

Efficient reliable UDP unicast, UDP multicast, and IPC message transport

Java7411apache-2.0

2 days ago

cc-plus-plusipc

simple-binary-encoding

Simple Binary Encoding (SBE) - High Performance Message Codec

Java3120apache-2.0

2 days ago

c-plus-pluscodecencoder-decoder

PABI-Logical

Remake of the Amiga game Logical

AutoHotkey3gpl-3.0

7 years ago

redux-logic

Redux middleware for organizing all your business logic. Intercept actions and p

JavaScript1807mit

last year

LogicNG

LogicNG

The Next Generation Logic Library

Java134apache-2.0

2 months ago

pgdeltastream

pgdeltastream

Streaming Postgres logical replication changes atleast-once over websockets

Go252apache-2.0

6 years ago

gological-replicationpostgresql

LogicalDefence

An open source Android app that displays a list of the logical fallacies that ha

Dart119gpl-2.0

2 months ago

androideducationalfdroid

Arithmosophi

Arithmosophi

A set of protocols for Arithmetic, Statistics and Logical operations

Swift67mit

4 years ago

DiceOverflow

Dice Overflow is a simple board logical game developed as master thesis in New B

Java3gpl-3.0

11 months ago

board-gameperfect-information

pglogical

Logical Replication extension for PostgreSQL 17, 16, 15, 14, 13, 12, 11, 10, 9.6

C1001other

2 months ago

cdcdata-transformationdata-transport

listr2

listr2

NodeJS Task List derived from the best! Create beautiful CLI interfaces via easy

TypeScript526mit

6 days ago

cliconsolelistr

active_interaction

:briefcase: Manage application specific business logic.

Ruby2057mit

6 months ago

activemodelcommand-patternmethod-object

rinf

rinf

Rust for native business logic, Flutter for flexible and beautiful GUI

Dart1736mit

4 months ago

androidappcross-platform

mutations

Compose your business logic into commands that sanitize and validate input.

Ruby1390mit

2 years ago

NLIL

Neural Logic Inductive Learning

Python41mit

2 years ago

nvim-highlite

nvim-highlite

A colorscheme generator that is "lite" on logic for the developer.

Lua239other

27 days ago

colorscolorschemediy

rust_android_ios

Android / iOS app with shared Rust logic

Rust239

3 years ago

androidandroid-appios

Nustache

Logic-less templates for .NET

C#596mit

last year

csla

csla

A home for your business logic in any .NET application.

C#1267mit

16 hours ago

asp-netasp-net-coreasp-net-mvc

acts_as_textcaptcha

Text-based logic question captcha's for Rails 🚫🤖

Ruby59lgpl-3.0

2 years ago

activerecordcaptchacaptcha-alternative

engine-js

⚡️ Neuledge streamlines database modeling with clear data entity definitions, cu

TypeScript238apache-2.0

last year

business-logicdata-access-layerlanguage

ThreatHunter-Playbook

ThreatHunter-Playbook

A community-driven, open-source project to share detection logic, adversary trad

Python3944mit

9 months ago

dfirhunterhunting

logic4mqtt

Logic and scripting engine for smart home automation, based around MQTT

Java17mit

9 years ago

micropython-monitor

micropython-monitor

Display the behaviour of a realtime program with a scope or logic analyser.

Python28mit

2 years ago

Plastic

Plastic

This project provides encapsulation of things like Domain, Application Rules, Bu

C#58mit

5 months ago

applicationapplication-rulesbusiness-logic

ReviewKit

A framework to provide logic designed to prompt users at the ideal moment for a

Swift27mit

4 years ago

xstate

xstate

Actor-based state management & orchestration for complex app logic.

TypeScript27087mit

24 days ago

background-jobsfinite-state-machinefsm

tossit

Library for distributed job/worker logic.

C#62mit

2 years ago

distributeddotnetcorejob

StoryGame_Android

StoryGameCE ported to Android. In this game the main goal is to make a story wit

Java8bsd-3-clause

last year

Meteor-Template-helpers

Template helpers for Session, logical operations and debug

JavaScript35bsd-3-clause

2 years ago

helpersjavascriptmeteor

cdf-program-logics

Companion Coq development for Xavier Leroy's 2021 lectures on program logics

Coq38

4 years ago

uxss-db

🔪Browser logic vulnerabilities :skull_and_crossbones:

HTML685mit

4 years ago

browsercvejavascript

temperance

temperance

A logic programming library for Common Lisp.

Common Lisp58mit

4 years ago

magento2-disable-stock-reservation

This module disables the inventory reservation logic introduced as part of MSI i

PHP212lgpl-3.0

9 months ago

Validot

Validot

Validot is a performance-first, compact library for advanced model validation. U

C#294mit

6 months ago

fluent-apimodel-validationspecification

mustache-zig

mustache-zig

Logic-less templates for Zig

Zig101mit

4 months ago

mustachemustache-templatingzig-package

gbind

Bind data to any Go value. Can use built-in and custom expression binding capabi

Go8mit

2 years ago

bindcacheexpression

cookiecutter-data-science

cookiecutter-data-science

A logical, reasonably standardized, but flexible project structure for doing and

Python8359mit

3 months ago

aicookiecuttercookiecutter-data-science

neo4j-importer

Java importer skeleton for complicated, business-logic-heavy high-performance Ne

Java26

8 years ago

javaneo4jneo4j-graphaware-framework

gauguin

gauguin

Gauguin is a Sudoku-like game for Android where you solve grids via calculation

Kotlin112gpl-3.0

2 days ago

androidandroid-gamef-droid

SLAyer

SLAyer is an automatic formal verification tool that uses separation logic to ve

OCaml326other

8 years ago

fastapi-realworld-example-app

fastapi-realworld-example-app

Backend logic implementation for https://github.com/gothinkster/realworld with a

Python2814mit

2 years ago

asyncdockerdocker-compose

openappsec

openappsec

open-appsec is a machine learning security engine that preemptively and automati

C++797apache-2.0

3 months ago

api-securityapplication-securityappsec

ocaml-mustache

mustache.js logic-less templates in OCaml

OCaml83mit

6 months ago

mustachemustache-templatesocaml

sqlancer

sqlancer

Automated testing to find logic and performance bugs in database systems

Java1479mit

last month

cockroachdbdbmsdbms-testing

cadence

cadence

Cadence is a distributed, scalable, durable, and highly available orchestration

Go8006mit

4 months ago

cadencedistributed-systemsgolang

essential-diagnostics

Essential.Diagnostics contains additional trace listeners, filters and utility c

C#69ms-rl

3 years ago

diagnosticsdot-netlogging

alexa-skills-kit-sdk-for-java

alexa-skills-kit-sdk-for-java

The Alexa Skills Kit SDK for Java helps you get a skill up and running quickly,

Java816apache-2.0

last year

aialexaalexa-skills-kit

alexa-skills-kit-sdk-for-nodejs

alexa-skills-kit-sdk-for-nodejs

The Alexa Skills Kit SDK for Node.js helps you get a skill up and running quickl

TypeScript3119apache-2.0

2 years ago

streamalert

streamalert

StreamAlert is a serverless, realtime data analysis framework which empowers you

Python2861apache-2.0

last year

analysisawskinesis

react-native-radio-buttons

react-native-radio-buttons

[DEPRECATED] A Radio-button like logic wrapper for React Native

JavaScript414mit

7 years ago

radio-buttonsreact-native

lambda-refarch-webapp

lambda-refarch-webapp

The Web Application reference architecture is a general-purpose, event-driven, w

JavaScript1588apache-2.0

2 years ago

amplifyawsaws-lambda

comp-dec-modal

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

Coq8other

3 months ago

coqctlmathcomp

vue-flow-form

vue-flow-form

Create conversational conditional-logic forms with Vue.js.

Vue769mit

4 months ago

conversational-uiformform-generator

ngrep

ngrep is like GNU grep applied to the network layer. It's a PCAP-based tool that

C902other

last year

greppingsniffer

fastapi-mongodb-realworld-example-app

fastapi-mongodb-realworld-example-app

Backend logic implementation for https://github.com/gothinkster/realworld with a

Python439mit

2 years ago

webtau

webtau

WebTau (web test automation) is a testing API, command line tool and a framework

Java368apache-2.0

last month

clidatabasegraphql

awesome-programming-for-kids

awesome-programming-for-kids

Description codeSpark is the #1 learn-to-code app for kids ages 3-10. We have

1043cc0-1.0

7 months ago

awesomeawesome-listipad

JTAGenum

Given an Arduino compatible microcontroller or Raspberry PI (experimental), JTAG

C++698

last year

arduinojtagraspberrypi

IsoHill-Game-Engine

IsoHill is a new isometric engine for Flash Player 11 [molehill] built on top of

ActionScript103

12 years ago

Peasy.NET

Peasy.NET

A business logic micro-framework for .NET and .NET Core

C#508mit

10 months ago

architectural-patternsarchitecturebusiness-logic

Flow-iOS

Make your logic flow and data flow clean and human readable

Swift21mit

7 years ago

callback-hellchain-of-responsibilitydesign-pattern

vue-props-validation

Vue props validation logic extracted for nested validation in object and arrays.

JavaScript21mit

4 years ago

vue-timer-hook

Vue timer hook is a custom hook, built to handle timer, stopwatch, and time logi

TypeScript170mit

4 months ago

composition-apihooktimer

vuex-feature-scoped-structure

vuex-feature-scoped-structure

:chart_with_upwards_trend: Feature scoped Vuex modules to have a better organiza

JavaScript225mit

6 years ago

blogpostcontainercontainers

agrona

High Performance data structures and utility methods for Java

Java2880apache-2.0

2 days ago

javaperformance

ngrx-traits

NGRX Traits is a library to help you compose and reuse state logic in your angul

TypeScript50mit

4 months ago

angularngrx

aeron

aeron

Efficient reliable UDP unicast, UDP multicast, and IPC message transport

Java7411apache-2.0

2 days ago

cc-plus-plusipc

simple-binary-encoding

Simple Binary Encoding (SBE) - High Performance Message Codec

Java3120apache-2.0

2 days ago

c-plus-pluscodecencoder-decoder