FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

pattern-avoidance · GitHub Topics · GitHub

Explore Topics Trending Collections Events GitHub Sponsors
#

pattern-avoidance

Star

Here are 4 public repositories matching this topic...

Language: All
Filter by language
All 4 Lean 2 Python 2

PermutaTriangle / Permuta

Star 17

A native Python library for permutation pattern research

permutations permuta mesh-pattern permutation-class permutation-statistics pattern-avoidance permutation-pattern
  • Updated Apr 24, 2026
  • Python

AbiOllson / cperms_ins_enc

Star 0

Enumerating Cayley permutations with the insertion encoding

pattern-avoidance cayley-permutation insertion-encoding
  • Updated Aug 21, 2026
  • Python

vicotrbb / bfs-avoidance-frontier

Sponsor
Star 0

Rigidity theorems for pattern-avoiding BFS reading words of increasing trees: proofs, 28 new OEIS terms, and complete Lean 4 formalization resolving three OEIS conjectures (A245898-A245903, A246747)

combinatorics oeis formal-verification pattern-avoidance lean4
  • Updated Jul 24, 2026
  • Lean

ycmath / inversion-wilf-spi

Star 0

Kernel-checked resolution of the last open case of the length-4 Wilf classification on inversion sequences (Hong–Li Conj. 20), 15 length-5 equivalences, and the SPI programme. Produced by an autonomous multi-agent loop; Lean 4 artifacts included.

combinatorics formal-verification autonomous-agents mathlib pattern-avoidance lean4 ai-mathematics inversion-sequences wilf-equivalence
  • Updated Aug 10, 2026
  • Lean

Improve this page

Add a description, image, and links to the pattern-avoidance topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the pattern-avoidance topic, visit your repo's landing page and select "manage topics."

Learn more

Back | FazBrowse Home | New Git URL