Alternatives and similar repositories for UndertheCovers:

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

• umd-cmsc330 / cmsc330spring22
  ☆27Updated 2 years ago
• Kraks / quantum-compiler
  Quantum circuits compiler with staging and continuations
  ☆16Updated 5 months ago
• harmonylang / harmony
  A Python-like programming language for testing and experimenting with concurrent programs.
  ☆18Updated this week
• josehu07 / summerset
  Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research
  ☆13Updated 5 months ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated 2 months ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 2 years ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• VeriNum / vcfloat
  VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
  ☆28Updated 2 months ago
• sjtug / mirror-clone
  All-in-one mirror utility for SJTUG mirror
  ☆51Updated 9 months ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• eunomia-bpf / bpf-benchmark
  Userspace eBPF Runtime Benchmarking Test Suite and Results
  ☆14Updated last year
• thaliaarchi / notes
  A notebook on compilers, programming languages, and other topics.
  ☆15Updated last month
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆17Updated 9 months ago
• mit-pdos / gokv
  ☆15Updated last month
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆73Updated this week
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆17Updated last year
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆49Updated 10 months ago
• apl-cornell / jif
  Java-like Language with Static Information Flow Types
  ☆12Updated 3 years ago
• thu-pacman / lab-guide
  Everything about PACMAN!
  ☆13Updated this week
• 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
• MarisaKirisame / MemoryBalancer
  ☆23Updated last year
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆29Updated last year
• eunomia-bpf / ebpf-knowledge-base
  An ebpf knowledge base, based on llama_index and bpf-developer-tutorial
  ☆10Updated 2 years ago
• Lancern / cache-coherence-protocol-bench
  Benchmarking code for evaluating the cost of cache coherence protocols implemented on different platforms
  ☆14Updated 4 years ago
• andrewcrotty / cs496-f22
  CS 496: Special Topics in Data Systems Seminar (Fall 2022)
  ☆11Updated 2 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• imkiva / valheim
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Updated 2 years ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆17Updated 4 months ago
• lsrcz / mini-prover
  Term project for TaPL. A mini coq-like proof assistant.
  ☆17Updated 6 years ago