Alternatives and similar repositories for TBH:

Users that are interested in TBH are comparing it to the libraries listed below

• systems-cs-pub-ro / iocla
  Repository public IOCLA
  ☆23Updated 5 months ago
• open-education-hub / operating-systems
  Teaching resources (OER) for Operating Systems
  ☆65Updated 9 months ago
• open-education-hub / essentials-security
  Security Summer School: Security Essentials Track
  ☆18Updated 6 months ago
• mikeroyal / LLVM-Guide
  LLVM (Low Level Virtual Machine) Guide. Learn all about the compiler infrastructure, which is designed for compile-time, link-time, run-t…
  ☆160Updated last year
• unikraft / docs
  The front page and documentation for the Unikraft Open-Source Project.
  ☆36Updated 3 weeks ago
• hikettei / Caten
  [wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher.
  ☆183Updated this week
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆108Updated this week
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆199Updated 3 years ago
• codereport / kjunior
  K Junior is an MIT licensed open source array language written by Arthur Whitney.
  ☆20Updated 8 months ago
• llvm / clangir
  A new (MLIR based) high-level IR for clang.
  ☆449Updated this week
• reduce-algebra / reduce-algebra
  reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…
  ☆38Updated this week
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆163Updated 2 months ago
• lac-dcc / llvm-course
  Code examples used for the LAC LLVM course
  ☆130Updated 3 months ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆103Updated this week
• themetaschemer / malt
  Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar
  ☆222Updated 3 months ago
• SeaOfNodes / Simple
  A Simple showcase for the Sea-of-Nodes compiler IR
  ☆479Updated this week
• google / mlir-hs
  Haskell bindings for MLIR
  ☆104Updated last week
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆370Updated 2 weeks ago
• coq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆337Updated last month
• herd / herdtools7
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆237Updated this week
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆72Updated this week
• seL4 / l4v
  seL4 specification and proofs
  ☆524Updated this week
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆87Updated last week
• llvm / Polygeist
  C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!
  ☆511Updated 4 months ago
• PacktPublishing / Linux-Kernel-Programming_2E
  Linux Kernel Programming 2E - published by Packt
  ☆340Updated 3 weeks ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆161Updated 3 years ago
• verif-scop / PolCert
  A verified polyhedral scheduling validator in Coq.
  ☆19Updated 4 months ago
• PacktPublishing / Linux-Kernel-Programming
  Linux Kernel Programming, published by Packt
  ☆860Updated 11 months ago
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆43Updated last month
• Smattr / rumur
  yet another model checker
  ☆19Updated 2 weeks ago