🔥LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer（第 2 版）》、《程序员面试金典（第 6 版）》题解
- algorithms
- cpp
- javascript
- golang
Repository Index
47,133 repositories indexed
1–21 of 21 · Most stars
👶🏻 신입 개발자 전공 지식 & 기술 면접 백과사전 📖
- interview
- developer
- tech
- computer-science
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.
- parser
- earley-algorithm
- earley-parser
- javascript
Up to 100x faster strings for C, C++, CUDA, Python, Rust, Swift, JS, & Go, leveraging NEON, AVX2, AVX-512, SVE, GPGPU, & SWAR to accelerate search, hashing, sorting, edit distances, sketches, and memory ops 🦖
Curated list of open-source quantum software projects.
- quantum-computing
- quantum-algorithms
- quantum-chemistry
- quantum-computer-simulator
🤠 Object property paths with wildcards and regexps 🌵
- nodejs
- javascript
- map
- json
Lossless compression C library built for ultra-fast decode. Faster than LZ4 (+35% to 105%+; best on ARM64), at a better ratio. Official Rust, Python, Node.js, Go and WASM bindings. Write-once/read-many, with optional seekable archives for O(1) random access.
- arm64
- c
- compression
- lz4
A Library to parse natural language in pure Clojure and ClojureScript
- natural-language-processing
- clojure
- clojurescript
- pos-tagger
A collection of containers & algorithms for the Crystal programming language
- crystal
- algorithms
Various algorithms visualized interactively on the web, entirely with Rust 🦀
- rust
- yew
- algorithms
- sorting-algorithms
Parameter Optimization for Lean Algorithms
- lean
- optimization
- blazor
- sharpe-ratio
Permutations and permutation groups in Common Lisp.
- permutations
- permutation-groups
- permutation-algorithms
- lisp
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
NASA/JPL SPICE Toolkit for C – patched for cross-platform compatibility
- astronomy
- astronomical-algorithms
- celestial-mechanics
- nasa
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
Implementation of the Rendezvous or Highest Random Weight (HRW) hashing algorithm in the Elixir Programming Language
- elixir
- elixir-lang
- distributed-systems
- hashing-algorithm
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm