Alternatives and similar repositories for veri-titan

Users that are interested in veri-titan are comparing it to the libraries listed below

• new-tee-os / new-tee-os

  View on GitHub
  A brand new OS that runs in various kinds of TEEs and supports Linux ABI
  ☆16Aug 21, 2021Updated 4 years ago
• lsds / CubicleOS

  View on GitHub
  Compartmentalised monolithic library OS
  ☆20Jul 15, 2021Updated 4 years ago
• TeamVoss / VossII

  View on GitHub
  The source code to the Voss II Hardware Verification Suite
  ☆56Updated this week
• mit-plv / koika

  View on GitHub
  A core language for rule-based hardware design 🦑
  ☆171Dec 10, 2025Updated 2 months ago
• lowRISC / ot-sca

  View on GitHub
  Side-channel analysis setup for OpenTitan
  ☆37Nov 3, 2025Updated 3 months ago
• plctlab / plct-qemu

  View on GitHub
  PLCT实验室维护的QEMU仓库。代码放在 plct- 前缀的分支里。
  ☆30Sep 18, 2025Updated 4 months ago
• MohamedHaitamKsiks / awesome-simple-engine

  View on GitHub
  multi platform game engine
  ☆11Sep 1, 2025Updated 5 months ago
• ControlCplusControlV / Sushi-Sway

  View on GitHub
  Probably Nothing
  ☆12May 23, 2022Updated 3 years ago
• volcengine / AICC-Trusted-MCP

  View on GitHub
  ☆33Dec 26, 2025Updated last month
• jtcriswell / llvm-dsa

  View on GitHub
  LLVM trunk with poolalloc trunk modified to compile only DSA
  ☆12Jul 9, 2015Updated 10 years ago
• zzyppo / tagged_security_riscv

  View on GitHub
  Implementation of Tagged Memory security policies into Rocket Core
  ☆10Nov 8, 2016Updated 9 years ago
• euler-xyz / euler-docs

  View on GitHub
  Documentation
  ☆10Jan 29, 2026Updated 2 weeks ago
• RTEMS / rtems-docs

  View on GitHub
  Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/
  ☆10Feb 4, 2026Updated last week
• byteball / counterstake-bridge

  View on GitHub
  Assistant/watchdog for Counterstake Bridge https://counterstake.org
  ☆13Dec 26, 2025Updated last month
• xmos / lib_tflite_micro

  View on GitHub
  ☆12Jan 21, 2026Updated 3 weeks ago
• Alongside-Finance / amkt-contracts

  View on GitHub
  ☆10May 18, 2023Updated 2 years ago
• keystone-enclave / keystone-sdk

  View on GitHub
  SDK for Keystone Enclave - ABI/SBI libraries and sample apps
  ☆44Oct 10, 2022Updated 3 years ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• lowRISC / synfi

  View on GitHub
  OpenTitan FI formal verification framework
  ☆15Aug 29, 2023Updated 2 years ago
• indexed-finance / nirn

  View on GitHub
  ☆11Aug 4, 2021Updated 4 years ago
• riscv-admin / ai-ml

  View on GitHub
  AI-ML-NLP Task Group
  ☆13Aug 10, 2023Updated 2 years ago
• brockelmore / MiniMutant

  View on GitHub
  Curta Challenge
  ☆16Apr 15, 2023Updated 2 years ago
• dom111 / bash-ps1

  View on GitHub
  Yet another bash PS1 utility.
  ☆11Apr 23, 2017Updated 8 years ago
• sporkspatula / gm-onchain

  View on GitHub
  ☆12Mar 11, 2022Updated 3 years ago
• pulp-platform / llvm-project

  View on GitHub
  ☆13Dec 18, 2025Updated last month
• simontime / gcbootrom

  View on GitHub
  Disassembly of the game.com boot ROM
  ☆12Dec 10, 2020Updated 5 years ago
• bloomberg / game-trees

  View on GitHub
  Functions and proofs about game trees in Rocq, implemented as rose trees.
  ☆12Dec 2, 2025Updated 2 months ago
• xnning / dependent-types-in-haskell

  View on GitHub
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆16Dec 13, 2018Updated 7 years ago
• Dalawho / P5JSFactory

  View on GitHub
  A simple P5JSFactory
  ☆12Apr 8, 2023Updated 2 years ago
• tmkasun / react-intl-auto-translate

  View on GitHub
  Automatically translate language file using google or yandex translator
  ☆11Jun 2, 2022Updated 3 years ago
• thingtheory / vote-escrow-nft

  View on GitHub
  ☆11Jan 25, 2022Updated 4 years ago
• YongJieYongJie / tree-sitter-solidity

  View on GitHub
  Solidity grammar for tree sitter
  ☆12Mar 12, 2022Updated 3 years ago
• vproc / vicuna2_core

  View on GitHub
  RISC-V Zve32x, Zve32f, Zvfh Vector Coprocessor
  ☆16Feb 2, 2026Updated last week
• sky-ecosystem / protego

  View on GitHub
  ☆10Jul 29, 2025Updated 6 months ago
• rutgers-apl / rlibm-all

  View on GitHub
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆17Oct 6, 2023Updated 2 years ago
• OpenPLC / OpenPLC-libs

  View on GitHub
  Libraries, firmwares and headers used by OpenPLC (can be used to add OpenPLC support to Arduino IDE 1.5.x)
  ☆12Sep 30, 2014Updated 11 years ago
• luqui / Djest

  View on GitHub
  A programming language that deduces code from tests
  ☆30Jan 8, 2018Updated 8 years ago
• kssytsrk / cellular-automata

  View on GitHub
  Cellular automata environment written in Common Lisp
  ☆18Apr 17, 2021Updated 4 years ago
• batterseapower / chsc

  View on GitHub
  The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"
  ☆23Mar 30, 2011Updated 14 years ago