-
-
-
-
-
-
2-coloring-1-round Public
2-Coloring Cycles in One Round: Formalization in Lean 4
-
types3 Public
types3: Type accumulation curves
-
da2020 Public
Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
-
coha-filter Public
Tools for processing the Corpus of Historical American English (COHA)
-
-
-
-
round-eliminator Public
Forked from olidennis/round-eliminatorRound Eliminator: a tool for automatic speedup simulation
JavaScript UpdatedJul 12, 2024 -
-
-
rustsat Public
Forked from chrjabs/rustsatThis library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of u…
Rust MIT License UpdatedMar 7, 2024 -
types Public
types2: Type and hapax accumulation curves
-
indicatif Public
Forked from console-rs/indicatifA command line progress reporting library for Rust
Rust MIT License UpdatedJul 3, 2023 -
wgpu Public
Forked from gfx-rs/wgpuSafe and portable GPU abstraction in Rust, implementing WebGPU API.
Rust Apache License 2.0 UpdatedJun 2, 2023 -
-
dom-examples Public
Forked from mdn/dom-examplesCode examples that accompany various MDN DOM and Web API documentation pages
JavaScript Creative Commons Zero v1.0 Universal UpdatedMay 9, 2023 -
-
suffix-competition-code Public
Code for the article "New methods for analysing diachronic suffix competition across registers"
Python MIT License UpdatedAug 22, 2022 -
suffix-competition Public
Data related to "New methods for analysing diachronic suffix competition across registers"
Python UpdatedAug 22, 2022 -
-
-
-
-
mending-134-orientations Public
Local mending of the {1,3,4}-orientation problem
-
medieval-abbreviations Public
Consistency of medieval abbreviation practices
{{ message }}