secure-foundations / vWasm

Related projects: ⓘ

• maybevoid / lambek
  Type-Level Programming in Rust
  ☆26Updated 2 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆23Updated last year
• ocaml-multicore / uring-trace
  Visualization tool for your IO-uring workload
  ☆14Updated last month
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆22Updated 2 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 3 years ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆26Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆49Updated 5 months ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 3 months ago
• graydon / exhaustigen
  ☆10Updated 2 years ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆21Updated this week
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆30Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆26Updated last week
• cuddlefishie / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆25Updated this week
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• SchrodingerZhu / koka-collections
  Purely functional data structures in Koka
  ☆9Updated 2 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆44Updated 3 years ago
• ejrgilbert / whamm
  ☆14Updated last week
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆19Updated 10 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆26Updated last year
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆24Updated 5 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆33Updated 4 months ago
• playXE / garbage-collector
  Garbage collector implementation in Rust for Rust
  ☆13Updated 4 years ago
• coq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆22Updated last month
• phase / dtt
  experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust
  ☆23Updated 6 months ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆42Updated last year
• 01mf02 / kontroli-rs
  Alternative implementation of the logical framework Dedukti in Rust
  ☆21Updated 4 months ago