-
-
lean4-cli Public
Forked from leanprover/lean4-cliA Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Lean MIT License UpdatedApr 25, 2025 -
ar4tc.org Public
CAV automated reasoning for tensor compilers workshop
HTML Apache License 2.0 UpdatedApr 2, 2025 -
KLR Public
Forked from leanprover/KLRA formalization of ML kernel languages
Lean Apache License 2.0 UpdatedApr 2, 2025 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedMar 14, 2025 -
paxminer-gallery-downloader Public
Get AO URLs from paximner and download the linked images to s3
Python UpdatedFeb 10, 2025 -
xla Public
Forked from openxla/xlaA machine learning compiler for GPUs, CPUs, and ML accelerators
C++ Apache License 2.0 UpdatedJan 15, 2025 -
stablehlo Public
Forked from openxla/stablehloBackward compatible ML compute opset inspired by HLO/MHLO
MLIR Apache License 2.0 UpdatedJan 15, 2025 -
theorem_proving_in_lean4 Public
Forked from leanprover/theorem_proving_in_lean4Theorem Proving in Lean 4
JavaScript Apache License 2.0 UpdatedOct 14, 2024 -
SHerLOC Public
Forked from leanprover/SHerLOCA StableHLO analyzer in Lean
Lean Apache License 2.0 UpdatedOct 9, 2024 -
cedar-spec Public
Forked from cedar-policy/cedar-specDefinitional implementation of Cedar language and utilities for DRT
Lean Apache License 2.0 UpdatedMay 23, 2024 -
-
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedDec 26, 2023 -
aws-cdk Public
Forked from aws/aws-cdkThe AWS Cloud Development Kit is a framework for defining cloud infrastructure in code
TypeScript Apache License 2.0 UpdatedMar 30, 2023 -
decline Public
Forked from bkirwi/declineA composable command-line parser for Scala.
Scala Apache License 2.0 UpdatedOct 7, 2022 -
boogie-friends Public
Forked from boogie-org/boogie-friendsTools for interacting with Boogie
Emacs Lisp UpdatedMay 25, 2022 -
scala Public
Forked from scala/scalaScala 2 compiler and standard library. For bugs, see scala/bug
Scala Apache License 2.0 UpdatedJul 30, 2021 -
aws-lambda-developer-guide Public
Forked from awsdocs/aws-lambda-developer-guideThe AWS Lambda Developer Guide
Java Other UpdatedJan 17, 2021 -
-
-
wartremover Public
Forked from wartremover/wartremoverFlexible Scala code linting tool
Scala Apache License 2.0 UpdatedJul 10, 2020 -
-
-
-
aws-cloudformation-resource-providers-accessanalyzer Public
Forked from aws-cloudformation/aws-cloudformation-resource-providers-accessanalyzerJava Apache License 2.0 UpdatedJan 6, 2020 -
-
-
aws-c-common Public
Forked from awslabs/aws-c-commonCore c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
C Apache License 2.0 UpdatedJun 24, 2019 -
-
{{ message }}