-
asl-interpreter Public
Example implementation of Arm's Architecture Specification Language (ASL)
-
xdsl-asl Public
Forked from xdslproject/xdsl-aslIntegrating asl in the xDSL/MLIR ecosystem
Python UpdatedSep 14, 2025 -
asl-to-mlir Public
Forked from sequencer/aslMLIR Compiler for Arm Specification Lanuage
-
xdsl Public
Forked from xdslproject/xdslA Python Compiler Design Toolkit
Python Other UpdatedJun 10, 2025 -
-
alastairreid.github.io Public
Forked from barryclark/jekyll-nowHome Page - forked from Jekyll Now
-
mycelia Public
Information about resilient gardens, rewilding, wildlife corridors and whatever that leads to
-
clean-slate Public
Experiment at replicating blog using standard Jekyll package
-
oak Public
Forked from project-oak/oakMeaningful control of data in distributed systems.
-
rust-verification-tools Public
Forked from project-oak/rust-verification-toolsRVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
-
linux Public
Forked from Rust-for-Linux/linuxAdding support for the Rust language to the Linux kernel.
C Other UpdatedAug 24, 2021 -
inkwell Public
Forked from TheDan64/inkwellIt's a New Kind of Wrapper for Exposing LLVM (Safely)
Rust Apache License 2.0 UpdatedApr 20, 2021 -
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
Shell Other UpdatedSep 8, 2020 -
rust-benchmarks Public
Forked from soarlab/rust-benchmarksRust software verification benchmarks
-
smack-play Public
Experiments in using Smack verification tool with C and Rust
-
verifast-play Public
Experiments in using VeriFast verification tool
-
hafnium-verification Public
Forked from project-oak/hafnium-verificationCoq Apache License 2.0 UpdatedApr 1, 2020 -
verifast Public
Forked from verifast/verifastResearch prototype tool for modular formal verification of C and Java programs
OCaml Other UpdatedMar 13, 2020 -
-
mra_tools Public
Tools to process ARM's Machine Readable Architecture Specification
-
oak-hardware Public
Forked from project-oak/silveroakFormal specification and verification of hardware, especially for security and privacy.
Haskell Apache License 2.0 UpdatedOct 2, 2019 -
pysmt Public
Forked from pysmt/pysmtpySMT: A library for SMT formulae manipulation and solving
Python Apache License 2.0 UpdatedJan 19, 2019 -
ott Public
Forked from ott-lang/ottOtt is a tool for writing definitions of programming languages and calculi
OCaml Other UpdatedMay 31, 2018 -
-
vcc Public
Forked from microsoft/vccA static verifier for concurrent C programs
C# Other UpdatedJul 6, 2016 -
-
{{ message }}