Alternatives and similar repositories for pl-class-public:

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

• google / mlir-hs
  Haskell bindings for MLIR
  ☆106Updated 2 months ago
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆80Updated last month
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 10 months ago
• LeifAndersen / PLGradSchools
  ☆231Updated 8 months ago
• fpottier / mpri-2.4-projet-2022-2023
  A programming project on automatic differentiation in OCaml
  ☆12Updated 2 years ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆78Updated this week
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• pytorch / expecttest
  ☆79Updated 4 months ago
• TiarkRompf / reachability
  ☆47Updated 2 months ago
• uwplse / tensat
  Re-implementation of the TASO compiler using equality saturation
  ☆125Updated 3 years 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 10 months ago
• ChezJrk / verified-scheduling
  ☆38Updated last year
• albanD / subclass_zoo
  ☆163Updated 10 months ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆73Updated 2 years ago
• janestreet / torch
  ☆119Updated 5 months ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆48Updated 2 years ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆121Updated this week
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆60Updated last month
• ezyang / torchdbg
  PyTorch centric eager mode debugger
  ☆47Updated 4 months ago
• makslevental / mlir-python-extras
  The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.
  ☆89Updated this week
• pytorch / tlparse
  TORCH_LOGS parser for PT2
  ☆37Updated this week
• agentultra / lean-for-hackers
  ☆19Updated 2 years ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆88Updated this week
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆62Updated 4 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆102Updated 6 months ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆60Updated last week
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• openxla / shardy
  MLIR-based partitioning system
  ☆80Updated this week
• harp-lab / gdlog
  ☆81Updated 6 months ago