Alternatives and similar repositories for sys-lab

Users that are interested in sys-lab are comparing it to the libraries listed below

• harmonylang / harmony
  A Python-like programming language for testing and experimenting with concurrent programs.
  ☆18Updated this week
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 11 months ago
• runtimeverification / pyk
  Python tools for the K Framework
  ☆13Updated last year
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆17Updated 7 months ago
• NASA-SW-VnV / AdaStress.jl
  Reinforcement learning framework to find and analyze the likeliest failures of a system under test.
  ☆13Updated last year
• sattlerc / hott-reading-course
  Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …
  ☆14Updated last year
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 3 years ago
• Kraks / quantum-compiler
  Quantum circuits compiler with staging and continuations
  ☆16Updated 6 months ago
• jart / matmul
  ☆18Updated 11 months ago
• michalpaszkowski / LLVM-Canon
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆15Updated last year
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• c4-project / c4f
  The C4 Concurrent C Fuzzer
  ☆14Updated last year
• au-ts / sddf
  A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…
  ☆32Updated this week
• metagraph-dev / mlir-graphblas
  MLIR tools and dialect for GraphBLAS
  ☆18Updated 3 years ago
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆11Updated this week
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 3 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 2 months ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆49Updated this week
• quantumformalism / software-verification
  ☆24Updated last year
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆37Updated this week
• ashen007 / LiteratureReview
  scrapper for various science databases
  ☆11Updated last year
• itu-bdsa / lecture_notes
  ls for the BSc course "Analysis, Design, and Software Architecture" at IT University of Copenhagen
  ☆30Updated 6 months ago
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 3 years ago
• YaelDillies / LeanAPAP
  Formalisation of the Kelley-Meka bound on Roth numbers
  ☆17Updated 2 weeks ago
• Copilot-Language / copilot-verifier
  System for verifying the correctness of generated Copilot programs
  ☆16Updated 3 weeks ago
• logsem / clutch
  Probabilistic separation logics for verifying higher-order probabilistic programs.
  ☆24Updated this week
• open-quantum-safe / profiling
  Network-level performance testing of post-quantum cryptography using the OQS suite
  ☆11Updated last year
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated this week
• katydid / regex-deriv-lean
  Proofs written in Lean4 for the core katydid validation algorithm
  ☆16Updated last week
• rutgers-apl / rlibm-all
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆16Updated last year