-
cassandra Public
Forked from apache/cassandraApache Cassandra®
Java Apache License 2.0 UpdatedDec 18, 2025 -
-
cedar Public
Forked from cedar-policy/cedarImplementation of the Cedar Policy Language
Rust Apache License 2.0 UpdatedAug 15, 2025 -
-
-
TensorLib Public
Forked from leanprover/TensorLibA verified tensor library in Lean
Lean Apache License 2.0 UpdatedJun 28, 2025 -
cedar-docs Public
Forked from cedar-policy/cedar-docsDocumentation for Cedar policy language
Apache License 2.0 UpdatedJun 20, 2025 -
cedar-spec Public
Forked from cedar-policy/cedar-specDefinitional implementation of Cedar language and utilities for DRT
Lean Apache License 2.0 UpdatedJun 2, 2025 -
GlimpseOfLean Public
Forked from PatrickMassot/GlimpseOfLeanAn introduction to theorem proving in Lean for the impatient.
Lean Apache License 2.0 UpdatedMay 18, 2025 -
-
-
-
-
assignment1-basics Public
Forked from stanford-cs336/assignment1-basicsStudent version of Assignment 1 for Stanford CS336 - Language Modeling From Scratch
Python MIT License UpdatedApr 16, 2025 -
-
-
FaCT_to_Jasmin Public
Forked from PLSysSec/FaCTOCaml BSD 3-Clause "New" or "Revised" License UpdatedDec 13, 2024 -
-
ruby-jit-challenge Public
Forked from k0kubun/ruby-jit-challengeTutorial to write a Ruby JIT
Ruby Other UpdatedAug 15, 2024 -
-
-
-
-
-
{{ message }}