-
-
-
-
-
futhark Public
Forked from diku-dk/futhark💥💻💥 A data-parallel functional programming language
Haskell ISC License UpdatedDec 17, 2024 -
cadical Public
Forked from arminbiere/cadicalCaDiCaL SAT Solver
C++ MIT License UpdatedOct 31, 2024 -
tket2 Public
Forked from CQCL/tket2Version 2 of the TKET quantum compiler
Rust Apache License 2.0 UpdatedOct 31, 2024 -
-
RustQuant Public
Forked from avhz/RustQuantRust library for quantitative finance.
Rust Apache License 2.0 UpdatedJul 23, 2024 -
BraketAHS.jl Public
Forked from amazon-braket/BraketAHS.jlSimulating Rydberg atom dynamics with Tensor Networks
Julia Apache License 2.0 UpdatedJul 21, 2024 -
BraketSimulator.jl Public
Forked from amazon-braket/BraketSimulator.jlJulia Apache License 2.0 UpdatedJun 7, 2024 -
autoqasm Public
Forked from amazon-braket/autoqasmAutoQASM is an experimental module offering a new quantum-imperative programming experience in Python for developing quantum programs.
Python Apache License 2.0 UpdatedJun 5, 2024 -
catgrad Public
Forked from statusfailed/catgrada categorical deep learning compiler
Python MIT License UpdatedMay 7, 2024 -
cuda-lingeling Public
Forked from arminbiere/lingelingLingeling SAT Solver
C MIT License UpdatedMay 2, 2024 -
uclid Public
Forked from uclid-org/uclidUCLID5: formal modeling, verification, and synthesis of computational systems
-
-
-
-
-
-
-
Sunscreen Public
Forked from Sunscreen-tech/SunscreenA compiler for the BFV fully homomorphic encryption scheme
Rust GNU Affero General Public License v3.0 UpdatedAug 1, 2023 -
-
-
UCBotSO Public
Forked from Noam-Elisha/UCBotSOBot for the UCBSO Discord Server
Python UpdatedJun 21, 2023 -
-
-
lingua-franca Public
Forked from lf-lang/lingua-francaIntuitive concurrent programming in any language
Java Other UpdatedMar 24, 2023 -
-
{{ message }}