-
Ateleris GmbH
- Switzerland
- https://www.ateleris.ch/
- https://orcid.org/0000-0002-3979-128X
Highlights
- Pro
-
-
runtime Public
Forked from dotnet/runtime.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
C# MIT License UpdatedDec 3, 2024 -
-
-
cadical Public
Forked from arminbiere/cadicalCaDiCaL SAT Solver
C++ MIT License UpdatedAug 5, 2024 -
stainless Public
Forked from epfl-lara/stainlessVerification framework and tool for higher-order Scala programs
HTML Apache License 2.0 UpdatedJul 8, 2024 -
dotnet-api-docs Public
Forked from dotnet/dotnet-api-docs.NET API reference documentation (.NET 5+, .NET Core, .NET Framework)
C# Other UpdatedNov 14, 2022 -
Pinocchio Public
Forked from pigimonaco/PinocchioPINpointing Orbit Crossing Collapsed Hierarchical Objects
C GNU General Public License v2.0 UpdatedOct 26, 2021 -
-
cryptominisat Public
Forked from msoos/cryptominisatAn advanced SAT solver
C++ Other UpdatedMay 5, 2021 -
javatuples Public
Forked from javatuples/javatuplesTypesafe representation of tuples in Java.
Java Apache License 2.0 UpdatedOct 12, 2020 -
-