Verified efficient algorithms in Lean4.
-
Updated
May 4, 2024 - Lean
#
Algorithm
Algorithms are detailed sets of guidelines created for a computer program to complete tasks efficiently and thoroughly. Algorithms in computer programming are employed to solve complex problems. Various cutting-edge technologies including artificial intelligence (AI) and machine learning (ML), operate based on simple or complex algorithms.
Here are 15,301 public repositories matching this topic...
LeetCode Problem Solutions by using Rust, Python3, and PHP.
-
Updated
May 4, 2024
😄 This is my algorithm study history, atcoder, codeforces, BOJ...
-
Updated
May 4, 2024 - Python
Problem Solving (BOJ, codingtest from enterprises, and self-made)
-
Updated
May 4, 2024 - Python
Guess the indentation of a JSON string.
nodejs
javascript
serialization
json
library
algorithm
typescript
parsing
string
space
detection
tabs
whitespace
size
indentation
heuristics
newline
indent
length
heuristic-algorithm
-
Updated
May 4, 2024 - JavaScript
🤠 Object property paths with wildcards and regexps 🌵
nodejs
javascript
map
json
library
algorithm
typescript
parsing
functional-programming
regex
regexp
filter
glob
regular-expression
path
recursion
data-structures
wildcard
globbing
globstar
-
Updated
May 4, 2024 - JavaScript
Set array items declaratively
nodejs
javascript
set
library
node
algorithm
typescript
functional
functional-programming
array
splice
merge
data-structures
slice
patch
append
insert
array-methods
array-manipulations
omit
-
Updated
May 4, 2024 - JavaScript
🤠 Parser for object property paths with wildcards and regexps 🌵
nodejs
javascript
map
json
library
algorithm
typescript
parsing
functional-programming
regex
regexp
filter
glob
regular-expression
path
recursion
data-structures
wildcard
globbing
globstar
-
Updated
May 4, 2024 - JavaScript
🤠 Functional utilities using object property paths with wildcards and regexps 🌵
nodejs
javascript
map
json
library
algorithm
typescript
parsing
functional-programming
regex
regexp
filter
glob
regular-expression
path
recursion
data-structures
wildcard
globbing
globstar
-
Updated
May 4, 2024 - JavaScript
Merge objects/arrays declaratively
nodejs
javascript
library
node
algorithm
typescript
functional
clone
functional-programming
object
array
deep
merge
data-structures
patch
append
insert
override
omit
shallow
-
Updated
May 4, 2024 - JavaScript
Fast cartesian product
nodejs
javascript
library
performance
algorithm
product
typescript
functional
es6
functional-programming
data-structures
lodash
combinatorics
combinations
iterable
lodash-fp
sets
cartesian-products
cartesian
cartesian-product
-
Updated
May 4, 2024 - TypeScript
Cartesian product for big inputs
nodejs
javascript
library
performance
algorithm
product
typescript
functional
es6
functional-programming
data-structures
lodash
combinatorics
combinations
iterable
lodash-fp
sets
cartesian-products
cartesian
cartesian-product
-
Updated
May 4, 2024 - TypeScript
Solutions to coding problems of Java, Python and SQL that can occur through high-tier interviews or while implementing algorithms used here in daily jobs & preparation advices for interviews.
python
java
algorithm
sql
algorithms
leetcode
interview
competitive-programming
hackerrank
data-structures
interview-practice
leetcode-solutions
python-3
interview-questions
dynamic-programming
algorithm-challenges
coding-interviews
interview-preparation
-
Updated
May 4, 2024 - Python
A repository for learning algorithms.
-
Updated
May 4, 2024 - Kotlin
Bravo Ranking is a new type of national football team ranking updated automatically every day.
algorithm
data-driven
sports
soccer
football-data
football
ranking-system
team-ranking
national-teams
automatic-update
monthly-ranking
-
Updated
May 4, 2024 - Python
- Followers
- 107k followers
- Wikipedia
- Wikipedia