-
cheri-rust Public
Forked from CHERIoT-Platform/cheri-rustRust Apache License 2.0 UpdatedDec 16, 2025 -
granule Public
Forked from granule-project/granuleA statically-typed linear functional language with graded modal types for fine-grained program reasoning
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 19, 2025 -
granule-compiler-llvm Public
Forked from granule-project/granule-compiler-llvmLLVM compiler for Granule
Haskell UpdatedDec 19, 2025 -
-
llvm-hs-12-pretty Public
Forked from llvm-hs/llvm-hs-prettyPretty printer for LLVM AST to Textual IR
LLVM MIT License UpdatedMar 5, 2025 -
purescript-parsing Public
Forked from purescript-contrib/purescript-parsingA parser combinator library based on Parsec
PureScript BSD 2-Clause "Simplified" License UpdatedNov 24, 2025 -
-
-
{{ message }}