-
-
-
xdsl-smt Public
Forked from opencompl/xdsl-smtThe implementation of an SMTLib dialect for xDSL
Python UpdatedNov 30, 2025 -
-
-
-
-
-
llvm-project Public
Forked from regehr/llvm-projectThis is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
LLVM Other UpdatedSep 11, 2024 -
-
-
-
-
-
-
futhark Public
Forked from diku-dk/futhark💥💻💥 A data-parallel functional programming language
Haskell ISC License UpdatedSep 19, 2023 -
-
-
svg-metaballs Public
metaball implmentation using post script and jgraph
C GNU General Public License v3.0 UpdatedSep 17, 2022 -
USSF-referee-reports Public
creating a simpler system for USSF referees to report match incidents
Go UpdatedAug 28, 2022 -
substrate Public
Forked from seelabutk/substrateAutomates deployment of our visualization tools across varied computing environments.
JavaScript Creative Commons Attribution 4.0 International UpdatedJun 17, 2022 -
-
-
{{ message }}