Alternatives and similar repositories for pl-class-public:

Users that are interested in pl-class-public are comparing it to the libraries listed below

• fpottier / mpri-2.4-projet-2022-2023
  A programming project on automatic differentiation in OCaml
  ☆11Updated 2 years ago
• janestreet / torch
  ☆116Updated 4 months ago
• google / mlir-hs
  Haskell bindings for MLIR
  ☆106Updated last month
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆112Updated this week
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 9 months ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆29Updated last year
• tlringer / ml-for-proofs
  An open bibliography of machine learning for formal proof papers
  ☆32Updated last year
• janestreet / memtrace
  Streaming client for OCaml's Memprof
  ☆68Updated 6 months ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• tachukao / ocaml-mlir
  OCaml Bindings to MLIR
  ☆15Updated 4 years ago
• ChezJrk / verified-scheduling
  ☆38Updated 11 months ago
• sergei-mironov / htvm
  Haskell experiments involving TVM AI framework
  ☆20Updated 5 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• albanD / subclass_zoo
  ☆163Updated 9 months ago
• paigenorth / oplss
  Resources for my Homotopy Type Theory course at OPLSS 2023
  ☆10Updated last year
• TiarkRompf / reachability
  ☆46Updated last month
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆58Updated last month
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• cucapra / gator
  Geometry types
  ☆29Updated 4 years ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆53Updated last year
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆92Updated this week
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆63Updated 2 weeks ago
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆70Updated 9 months ago
• uwsampl / relay-aot
  An experimental ahead of time compiler for Relay.
  ☆50Updated 4 years ago
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆79Updated 2 weeks ago
• MPLLang / parallel-ml-bench
  Parallel ML benchmark suite
  ☆16Updated 2 weeks ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• mit-frap / spring22
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
  ☆20Updated 2 years ago