mistupv/cauder-core

A Causal-Consistent Debugger for (Core) Erlang

Language: Erlang - Size: 1.88 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 18 - Forks: 3

Puppydog-and-Raccoon/factoring-via-hadamard-transfom.version2

An algorithm to solve factoring using the fast Hadamard transform.

Language: Java - Size: 41 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

svemyh/Real-Time-Elevator

Real Time Elevator Project - Software for controlling n elevators working in parallel across m floors

Language: Go - Size: 11.5 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

chrisbetze/toy-Chord

Distributed Peer-to-Peer system, based on Chord protocol, created with Flask web framework

Language: Python - Size: 472 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

antoinezanardi/werewolves-assistant-api

Werewolves Assistant API provides over HTTP requests a way of manage Werewolves games in order to help the game master in his task.

Language: JavaScript - Size: 9.73 MB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 3

JesseLee62/File-System-Checking

Size: 0 Bytes - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

savreline/chevrotain

A replicated key value store that achieves eventual consistency through the use of conflict-free replicated data types (CRDTs). Individual project for the distributed systems graduate course at UBC.

Language: Go - Size: 6.44 MB - Last synced at: 5 months ago - Pushed at: about 4 years ago - Stars: 11 - Forks: 1

Anindya-Prithvi/Consistency_DSCD

Implementing primary-backup protocols and quorum based ones.

Language: Python - Size: 144 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

xigoi/xidoc

A consistent markup language

Language: C - Size: 7.84 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 42 - Forks: 0

Faysal-Ezaz/100_D_O_C

I have decided to take the 100 days of code challenge starting from 03-12-2023.

Language: Java - Size: 113 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

intuit-ai-research/DCR-consistency

DCR-Consistency: Divide-Conquer-Reasoning for Consistency Evaluation and Improvement of Large Language Models

Language: Python - Size: 2.07 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 16 - Forks: 1

babandakale/opensource-frontend-mini-challenges Fork of sadanandpai/frontend-mini-challenges

Collection of frontend challenges for learning and interviews

Language: JavaScript - Size: 48.1 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

jeffso8/Rootine

A habit tracker web app, where you can log and view all the habits you are trying to build.

Language: JavaScript - Size: 131 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

Mukkund10/ReportingConsistencyHub

The ReportingConsistencyHub repository is dedicated to ensuring consistent and structured reporting across all projects.

Size: 7.81 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

yoldascevik/ARConsistency

Api Response Consistency For .Net Core Web Api

Language: C# - Size: 68.4 KB - Last synced at: 3 days ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 1

bhaveshharmalkar/learn365

This repository contains all of the resources and materials of @bhavesharmalkar's Learn365 series, including links to articles, videos, and other learning resources.

Size: 802 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 20 - Forks: 0

hoaproject/Consistency 📦

The Hoa\Consistency library.

Language: PHP - Size: 85 KB - Last synced at: 6 days ago - Pushed at: almost 4 years ago - Stars: 319 - Forks: 19

lucamazzza/integrb

Data integrity, consistency and validation gem

Language: Ruby - Size: 9.77 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

ArDoCo/CLI

Command Line Interface for Using ArDoCo

Language: Java - Size: 57.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1

chong-chonga/ftkv

Distributed Key-Value Storage System based on Raft

Language: Go - Size: 3.19 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0

luukka76/data-analytics

Matlab files for data analytics methods

Language: MATLAB - Size: 49.8 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 8 - Forks: 0

Prathamkumar18/SteadyStreakFrontend

Steady Streak is your go-to app for sticking with your goals. It keeps a close watch on your tasks, rewards you with daily points, and gives you smart insights. With Steady Streak, you can stay on course and succeed consistently

Language: Dart - Size: 2.16 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

Pavan8010/leetcode

Collection of LeetCode questions to ace the coding interview!

Language: Java - Size: 971 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1

Kiarahmani/CLOTHO

Directed Test Generation for Weakly Consistent Database Systems

Language: Java - Size: 31.6 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 4

ucla-readable/fstitch

Featherstitch

Language: C - Size: 9.28 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

shwetayakkali/Distributed-System-Algorithms-Implementation

Algorithms for implementation of Clock Synchronization, Consistency, Mutual Exclusion, Leader Election

Language: Java - Size: 13.7 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 44 - Forks: 13

arnobpl/Dynamo-Style-Distributed-Key-Value-Storage

Amazon Dynamo-style distributed key-value storage with partitioning, replication, and failure handling

Language: Java - Size: 119 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0

dimond79/30-days-of-Machine-Learning

My 30 days learning in machine learning.

Language: Jupyter Notebook - Size: 448 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

fx2y/FlowDB

FlowDB is a distributed, transactional key-value store that provides high performance, scalability, fault tolerance, and consistency. It supports various programming languages and platforms, enables asynchronous, actor-based programming, manages cluster deployment and configuration, and provides documentation and testing.

Language: C++ - Size: 38.1 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

pviotti/conver-old 📦

[discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.

Language: Erlang - Size: 795 KB - Last synced at: 12 months ago - Pushed at: almost 9 years ago - Stars: 18 - Forks: 1

thmahe/mussel-python

Build Python executable for any environment with pyinstaller & Docker

Language: Dockerfile - Size: 262 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

kwladyka/consistency-clj

Clojure / ClojureScript consistency helpers

Language: Clojure - Size: 31.3 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

emilstahl97/Distributed-Systems-ID2201 📦

The course covers fundamental models for distributed systems, inter process communication and how to handle synchronization, consistency, replication, fault tolerance and security in a distributed system. The course consist of a series of lectures and seminars that include practical assignments.

Language: Erlang - Size: 18 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 2

cruzdb/zlog

A high-performance distributed shared-log for Ceph

Language: C++ - Size: 3.17 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 113 - Forks: 22

Yangyi-Chen/CoTConsistency

The released data for paper "Measuring and Improving Chain-of-Thought Reasoning in Vision-Language Models".

Size: 1.89 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 20 - Forks: 0

iphydf/apidsl Fork of TokTok/apidsl

DSL for C APIs to aid consistency of naming schemes and comments.

Language: Haskell - Size: 390 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

TokTok/apidsl

DSL for C APIs to aid consistency of naming schemes and comments.

Language: Haskell - Size: 394 KB - Last synced at: 27 days ago - Pushed at: 11 months ago - Stars: 6 - Forks: 3

Steamgjk/Nezha

Nezha: Deployable and High-Performance Consensus Using Synchronized Clocks

Language: C++ - Size: 101 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 30 - Forks: 1

khuzaima-a/leetcode-solutions

Home to my Python solutions for diverse LeetCode problems

Language: Python - Size: 79.1 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

tsaglam/Vitruv-CaseStudy Fork of vitruv-tools/Vitruv

View-based development and model consistency framework

Language: Java - Size: 98.2 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

wichmann-lab/error-consistency

Error consistency: a black-box analysis for comparing errors between decision makers (NeurIPS 2020)

Language: R - Size: 8.82 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 1

e-m3din4/deep-email

Obtain an email full profile including reputation, consistency, deliverability, social networks account linked, plus more data points.

Language: Python - Size: 6.84 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 0

krajeswaran/ha-databases-comparison

Benchmarking and comparing some highly available in-memory databases

Language: Go - Size: 3.01 MB - Last synced at: over 1 year ago - Pushed at: about 9 years ago - Stars: 2 - Forks: 0

ParitoshChaudhari/Java-Streak

Language: Java - Size: 63.5 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

antikirra/array-shuffle

Consistent parameterized array shuffling for PHP

Language: PHP - Size: 2.93 KB - Last synced at: 14 days ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

BrenoFariasdaSilva/Research-Methodology

My Work Proposal for the Research Methodology Subject.

Language: PostScript - Size: 6.07 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

Sreenivasulu-Kalluru/Daily-Commit

This repository contains my daily commits

Language: HTML - Size: 139 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

ling7334/rockscache-rs

The First Redis Cache Library To Ensure Eventual Consistency And Strong Consistency With DB.

Language: Rust - Size: 43 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

hollobit/WG3_TCM

a matrix to provide the clarified definition and relationship information of trustworthiness characteristics between in the AI/ML standards

Size: 978 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

heidihoward/ios 📦

Reliable distributed agreement service for the cloud

Language: Go - Size: 44.8 MB - Last synced at: 10 months ago - Pushed at: almost 8 years ago - Stars: 47 - Forks: 7

decent-css/decent

Have you no decency, CSS? Decent is a flexible and functional CSS library for building literally anything.

Language: CSS - Size: 13 MB - Last synced at: 9 days ago - Pushed at: over 7 years ago - Stars: 11 - Forks: 1

WoodProgrammer/KeyValueStore

Distributed Simple Nosql Store

Language: C++ - Size: 18.6 KB - Last synced at: 27 days ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 1

JRigh/Properties-of-Estimators

Properties of estimators using the Univariate Normal model

Language: R - Size: 488 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

sandeepsandy62/DSA_LEETCODE

DSA PROBLEMS

Language: C++ - Size: 239 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

ulrichmabou/50DaysOfUdacity

A challenge to foster a habit of consistent learning and community engagement/support. Template by ulrichmabou; feel free to 'Use this template' to keep track of your progress during the challenge.

Size: 15.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

Sourav61/Leetcode-Practice

Language: C++ - Size: 1.87 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

WyattJia/Kites

🪁 A consistency, partition tolerance completed distributed KV store, implementation of the Raft distributed consensus protocol and Kotlin.

Language: Kotlin - Size: 449 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 43 - Forks: 9

iluhinsky/distributed-systems

A course in distributed systems.

Language: Go - Size: 44.9 KB - Last synced at: 10 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

mfaridzia/eslint-plugin-myfp

Custom ESLint Plugin for Consistency Code

Language: JavaScript - Size: 35.2 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

ChenYW68/smei.SpaceTime.model

An Efficient Estimation Method for Semiparametric Models of Spatial-Temporal Data

Size: 622 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

Bethegnt/140-Days-Challenge

140 Days Challenge for learning Technical Stuff.

Language: Java - Size: 152 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

the1michaelt/Products-Backend-API-Lab

Exercise and practice building a backend application with Django Rest frameworks.

Language: Python - Size: 36.1 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

the1michaelt/Cars-API

Exercise and practice building a backend application with Django Rest frameworks.

Language: Python - Size: 17.6 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

the1michaelt/SQL-Joins-in-Action-Lab

Exercise in writing SQL queries to extract data results from joined tables.

Size: 40 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

kishanrajput23/100-Days-Of-Code

A commitment to code daily.

Language: Python - Size: 124 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 2

EmreKumas/Multithreaded_Matrix_Generator 📦

The main purpose of this project was to become familiar with multithreaded programs and also how to deal with sychronization problems between threads.

Language: C - Size: 7.81 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

EmreKumas/Shopping-Service 📦

This program simulates a shopping service by synchronizing the product sales, reservations and cancellations using PThread, mutexes and semaphores.

Language: C - Size: 1020 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

n4bb12/config-tslint 📦

✔ TSLint configuration focusing on productivity and readability.

Language: JavaScript - Size: 10.7 KB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

hypervtechnics/VrrGtfsTransform 📦

A helper to make the provided GTFS feed more consistent and up to the standard.

Size: 16.6 KB - Last synced at: 9 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

Mte90/BulkRejectGP 📦

Bulk reject of approved string on GlotPress with Firefox automation

Language: Python - Size: 251 KB - Last synced at: 7 days ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 1

Xuwudong/myraft

基于raft算法实现的分布式线性一致性kv系统

Language: Go - Size: 294 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

TechShivam02/Striver-SDE_DSA_Sheet

Striver SDE sheet DSA CheatSheet

Language: C++ - Size: 1.53 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

shjo-april/Tensorflow_FixMatch

[Re-implementation] FixMatch: Simplifying Semi-Supervised Learning with Consistency and Confidence

Language: Python - Size: 159 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 14 - Forks: 4

Bethegnt/Alpha-Placement-Course-Assignments

ALPHA PLACEMENT COURSE ASSIGNMENT(Questions & Answers)

Language: Java - Size: 15.6 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

lf-lang/cal-theorem

Examples from the paper "Quantifying and Generalizing the CAP Theorem"

Size: 9.77 KB - Last synced at: 12 months ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

dsalahutdinov/activerecord-data_integrity

Check data integrity for your ActiveRecord models

Language: Ruby - Size: 91.8 KB - Last synced at: 11 days ago - Pushed at: almost 3 years ago - Stars: 10 - Forks: 2

dati-mipt/distributed-systems 📦

A course in distributed systems.

Language: Go - Size: 38.1 KB - Last synced at: 10 months ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 15

JatinBisht2308/DSA-Contribution Fork of Sagar0-0/DSA

Building the largest DSA solutions repository TOGETHER.

Language: Java - Size: 2.03 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

romanc/same-joke

Always the same joke - everyday.

Language: CSS - Size: 1.33 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

hamidgasmi/training.computerscience.cloud.aws

Notes, Docs, CLI Commands and, Flashcards for AWS certified solutions architect - Associate Level

Language: Shell - Size: 50.1 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 28 - Forks: 12

swaralichine/DDS-Assignment3

CSE 512 : Distributed Database Systems

Size: 192 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

Sourav61/C-Programs

Language: C++ - Size: 11.9 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

DivyanshuSaxena/RecoverKV

Strongly consistent and highly available distributed key-value store

Language: Go - Size: 2 MB - Last synced at: 10 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

VNG-Realisatie/i-Spiegel

Binnen de gemeente hebben we te maken met veel persoons- en adresgegevens. Deze gegevens worden door de hele organisatie verspreid. Dit leidt tot vele processen en veel afnemende applicaties, die hier gebruik van maken. Het is van belang dat de gegevens binnen de ketens kloppen. Dus van begin tot eind. Om grip te krijgen op de kwaliteit kun je gebruik maken van de Gegevensvergelijker, oftewel de i-Spiegel 3.0. Hiermee vergelijk je de gegevens uit verschillende systemen met elkaar, dus de gegevens van de afnemende applicaties met de gegevens uit de bron.

Language: C# - Size: 35.8 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 2

javekk/Bank-Management-with-Zookeeper

Managements information of the clients in a bank, provide fault tolerance and consistency

Language: Java - Size: 201 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

marcusvieira88/cap-theorem

This project has some examples of the CAP theorem

Size: 2.56 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 1

SinghCoder/ShoppingCart-Cloud

Assignment done as part of course Cloud Computing. Implemented a distributed shopping cart system with leaderless replication

Language: Python - Size: 120 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1

ArkaB-DS/NPmodalReg

This repo contains the codes, images, report and slides for the first project of the course - MTH673A: Robust Statistical Methods at IIT Kanpur during the academic year 2022-2023.

Language: R - Size: 8.14 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 3

pviotti/conver

Consistency verification tool

Language: Scala - Size: 78.1 KB - Last synced at: 17 days ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 0

neidigsi/consistency_analysis

In this repository, a python script is used to perform the consistency analysis of the scenario analysis according to von Reibnitz (1992).

Language: Jupyter Notebook - Size: 31.3 KB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

kpapadatos/locki

A redis-backed lock broker that manages groups of S/X locks with atomic lua scripts.

Language: TypeScript - Size: 245 KB - Last synced at: 5 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

ChandanaReddy07/Dsa

A track of all my practiced DSA.

Language: Java - Size: 547 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

zhou-yuhan/DNS-on-CRAQ

Mini-research project of PKU Computer Network (H) 21Fall

Language: Go - Size: 6.87 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

cloneable/repo-checker

[WIP] Command-line tool to check GitHub repositories for inconsistencies.

Language: Go - Size: 186 KB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

opbi/hooks

🎯 configurable decorators for automated observability and self-explanatory codebase

Language: JavaScript - Size: 1.65 MB - Last synced at: 7 days ago - Pushed at: almost 2 years ago - Stars: 11 - Forks: 1

kudobuzz/api-standards

Building Beautiful Rest Apis at kudobuzz

Size: 38.1 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

erwanor/jeunedb

Programmable KV store

Language: Go - Size: 19.5 KB - Last synced at: 7 days ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SARTHAK-27/Ultimate-DSA

This repository will contain all the "Top Interview Questions" & "Top 100 liked Questions" on Leetcode and all the InterviewBit Solutions.

Language: C++ - Size: 14.2 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

vgupta123/consistency Fork of utahnlp/consistency

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

Language: Python - Size: 12.9 MB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0

LightJason/Java-AgentSpeak-Consistency

LightJason - AgentSpeak(L++) Agent Consistency

Language: Java - Size: 109 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0