Alternatives and similar repositories for UndertheCovers

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

• umd-cmsc330 / cmsc330spring22
  ☆27Updated 3 years ago
• cmsc330spring24 / cmsc330spring24
  ☆58Updated last year
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated last year
• CIS1900 / 2022-fall
  ☆12Updated 11 months ago
• Amitdeb008 / IIT-CS535-Design-and-Analysis-of-Algorithm
  IIT CS 535. Design and Analysis of Algorithm. All Assignment Solution , and all the course material . Illinois Institute of technology ht…
  ☆9Updated 6 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 6 months ago
• paigenorth / oplss
  Resources for my Homotopy Type Theory course at OPLSS 2023
  ☆12Updated 2 years ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• dannypsnl / write-a-programming-language
  How to make a new language(and why we shouldn't?)
  ☆40Updated 2 years ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆42Updated 4 years ago
• janestreet / re2
  OCaml bindings for RE2
  ☆47Updated this week
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆18Updated last month
• anwarmamat / cmsc330fall21
  ☆18Updated 3 years ago
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆82Updated last week
• janestreet / parallel
  OxCaml Parallelism
  ☆31Updated 2 months ago
• lillo / compiler-course-unipi
  Lab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI
  ☆36Updated 2 years ago
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 5 years ago
• LaurentMazare / rsexp
  S-expression parsing and writing in Rust
  ☆18Updated 2 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆1Updated 6 years ago
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆40Updated 4 years ago
• thaliaarchi / notes
  A notebook on compilers, programming languages, and other topics.
  ☆16Updated 4 months ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated 3 months ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆74Updated last week
• komamitsu / oraft
  Library of Raft consensus algorithm implemented in OCaml
  ☆30Updated last year
• tmcgilchrist / ocaml-debug-performance
  Notes on OCaml debugging and performance
  ☆16Updated last year
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆54Updated 4 years ago
• tarides / compiler-hacking
  Compiler Hacking Sessions Information
  ☆11Updated 2 years ago
• VeriNum / vcfloat
  VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
  ☆30Updated 6 months ago
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆18Updated last year
• janestreet / memtrace
  Streaming client for OCaml's Memprof
  ☆69Updated 11 months ago