-
linera-protocol_second Public
Forked from linera-io/linera-protocolSecondary fork of the linera-protocol repository
-
java_regex Public
An implementation of the java regular expressions in Rust.
Rust UpdatedApr 27, 2026 -
polyhedral_common Public
A library and some programs for working polytopes and quadratic forms.
-
-
-
permutalib Public
Permutation group library
-
mcp_polyhedral Public
An implementation of a MCP protocol for accessing polyhedral
Rust UpdatedApr 11, 2026 -
-
linera_end_to_end_tests Public
Some end-to-end tests that can be run remotely.
-
PerfectFace_EuclideanRings Public
GAP code for creating the perfect faces for Euclidean rings and analysing them
-
repository_analysis Public
A repository for analyzing malicious repository.
Rust UpdatedFeb 25, 2026 -
rust_hashmap_ports Public
C++ has many hashmaps with different design, but Rust not so much. Let's try to correct that.
Rust UpdatedFeb 10, 2026 -
cddlib Public
Forked from cddlib/cddlibAn efficient implementation of the Double Description Method
C GNU General Public License v2.0 UpdatedJan 10, 2026 -
-
-
Scripts for building uniform tilings
GAP UpdatedNov 16, 2025 -
Database on periodic triangulations
TeX UpdatedNov 16, 2025 -
-
-
Polyhedral_Cut_polytopes Public
Polytopes related to the CUT polytope and their variants.
TeX UpdatedNov 15, 2025 -
DATA on polyhedral cones related to the C-types.
-
linera_parsing_tools Public
Some tools and manuals related to linera-protocol
Rust UpdatedOct 25, 2025 -
nauty Public
A repository of the nauty stuff in order to be easily accessible
-
linera-documentation_second Public
Forked from linera-io/linera-documentation -
-
serde-reflection Public
Forked from zefchain/serde-reflectionRust libraries and tools to help with interoperability and testing of serialization formats based on Serde.
-
spherical_codes Public
Codes for doing computations related to spherical codes.
-
AccessPerfectDim9 Public
Functionalities for accessing the perfect forms in dimension 9
-
ocean_works Public
A set of C++ programs and perl scripts for working with ocean data
-
slagalica Public
Solution of a game on Serbian TV in Rust
Rust Apache License 2.0 UpdatedMay 14, 2025
{{ message }}