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
  ☆120Updated last month
• janestreet / torch
  ☆148Updated 3 weeks ago
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆83Updated 2 months ago
• fpottier / mpri-2.4-projet-2022-2023
  A programming project on automatic differentiation in OCaml
  ☆11Updated 3 years ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆73Updated 6 months ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆75Updated 2 years ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆210Updated this week
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 4 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆68Updated 2 years ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆31Updated 2 years ago
• MPLLang / parallel-ml-bench
  Parallel ML benchmark suite
  ☆21Updated 2 months ago
• TiarkRompf / reachability
  ☆54Updated 3 months ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆69Updated 3 years ago
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated last month
• tlringer / ml-for-proofs
  An open bibliography of machine learning for formal proof papers
  ☆32Updated 2 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆68Updated last week
• sergei-mironov / htvm
  Haskell experiments involving TVM AI framework
  ☆20Updated 6 years ago
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆93Updated 7 months ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆121Updated this week
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆47Updated last year
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆187Updated last week
• bollu / mlir-hs
  Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell
  ☆17Updated 5 years ago
• gibbon-compiler / gibbon
  A compiler for functional programs on serialized data
  ☆174Updated this week
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• logsem / iris-tutorial
  ☆70Updated 5 months ago
• ranjitjhala / sprite-lang
  An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
  ☆150Updated 4 months ago
• plclub / cis670-16fa
  Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016
  ☆42Updated 3 years ago
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆23Updated last year