Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: congruence

libsemigroups/libsemigroups

C++ library for semigroups and monoids

Language: C++ - Size: 19.6 MB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 41 - Forks: 27

svagi/math

🔢 School project (TUL)

Language: JavaScript - Size: 2.82 MB - Last synced: 5 days ago - Pushed: 5 days ago - Stars: 0 - Forks: 0

memory-formation/contextual-incongruency

Contextual incongruency triggers memory reinstatement and the disruption of neural stability (2023 NeuroImage, Xiongbo Wu)

Language: MATLAB - Size: 212 KB - Last synced: 12 days ago - Pushed: 13 days ago - Stars: 0 - Forks: 0

looomenn/replace_power

Finding the power of a number that, in the congruent equation, equals 1 or -1 with given modulus

Language: Python - Size: 11.7 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

pmalex/congruencer

Test lattice identity holding in lattice of congruences of automaton

Language: Haskell - Size: 15.6 KB - Last synced: 3 months ago - Pushed: over 3 years ago - Stars: 3 - Forks: 0

mgalang229/Codeforces-1920C-Partitioning-the-Array

Language: C++ - Size: 1.95 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 1 - Forks: 0

bitwyre/chebyshev_primality_testing

Chebyshev polynomials of the first kind and primality testing

Language: C++ - Size: 38.6 MB - Last synced: 8 months ago - Pushed: about 3 years ago - Stars: 7 - Forks: 3

JoyM268/M2-Lab-Programs

The Github repository "M2 Lab Programs" contains the collection of all the programs taught in the M2 Lab of SDMCET, 2022 - 23.

Language: Jupyter Notebook - Size: 7.3 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

libsemigroups/libsemigroups-python-bindings 📦

Python bindings for the C++ library libsemigroups

Language: Python - Size: 157 KB - Last synced: about 1 month ago - Pushed: almost 6 years ago - Stars: 4 - Forks: 4

ZeroBone/TonelliShanks

Implementation of the Tonelli-Shanks algorithm for computing square roots modulo a prime number.

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

cdepillabout/coq-equivalence-not-congruence

Coq proof of an equivalence relation that is not congruent on the Imp language from Software Foundations

Language: Coq - Size: 53.7 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 1 - Forks: 0

vorabrijesh/MS_SEProject

SE Project based on Social Technical Congruence

Language: Jupyter Notebook - Size: 6.45 MB - Last synced: 6 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 3

TomasPhilippart/MDTools

:unlock: Tools to help Discrete Mathematics computations.

Language: Python - Size: 143 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 4 - Forks: 1

jacksonrakena/lcg-toolkit

Simulator and plotter for linear congruential generator (LCG) functions in Python

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

cheran-senthil/BTP-Project

Congruences of Partitions: Rank Differences and Cubic Partition Pairs

Language: TeX - Size: 437 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 1

AmjadNoor/congruence-checker

This is site where you can check Triangle congruence.

Language: HTML - Size: 194 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0

Franceskynov/zeller

Zeller's congruence is an algorithm devised by Christian Zeller to calculate the day of the week for any Julian or Gregorian calendar date. It can be considered to be based on the conversion between Julian day and the calendar date.

Language: JavaScript - Size: 13.7 KB - Last synced: 29 days ago - Pushed: almost 4 years ago - Stars: 1 - Forks: 1

aswinzz/Simulation-Lab-Assignments

Solutions for Simulation Lab Assignments

Language: Python - Size: 2.41 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0