Alternatives and similar repositories for oalgcomp

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

• namin / scalogno
  prototyping logic programming in Scala
  ☆42Updated 3 years ago
• ilya-klyuchnikov / mrsc
  A toolkit for building multi-result supercompilers
  ☆32Updated 4 years ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 6 years ago
• jsiek / arete
  Arete is an experimental programming language.
  ☆12Updated 2 years ago
• kpavery / System-Fo
  An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, …
  ☆33Updated 10 years ago
• Blaisorblade / dot-iris
  Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
  ☆36Updated 2 months ago
• gallais / pearl-binary-search
  Functional Pearl: Certified Binary Search in a Read-Only Array
  ☆29Updated 4 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 3 years ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 3 years ago
• combinators / cls-scala
  (CL)S - Combinatory Logic Synthesizer
  ☆12Updated 4 years ago
• GaloisInc / jvm-parser
  A Haskell parser for JVM bytecode files
  ☆39Updated last year
• robsimmons / abbot
  Generation of abstract binding trees
  ☆27Updated 2 months ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 2 weeks ago
• Kraks / MyPLZoo
  Implementations of various toy programming languages
  ☆12Updated 7 years ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 6 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆35Updated 9 months ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 3 years ago
• samuelgruetter / dot-calculus
  Formalization of the Dependent Object Types (DOT) calculus
  ☆66Updated 3 years ago
• clayrat / idris-linear
  Experiments with linear types
  ☆14Updated 7 years ago
• idris-hackers / idris-free
  Free Monads and useful constructions to work with them
  ☆26Updated 7 years ago
• ekmett / cadenza
  every day i'm truffling
  ☆70Updated 4 years ago
• namin / lms-verify
  generative programming & verification
  ☆34Updated 5 months ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• OPLSS / introduction-to-algebraic-effects-and-handlers
  Introduction to algebraic effects and handlers
  ☆98Updated 7 years ago
• brownplt / Resugarer
  Lifting Reduction Semantics through Syntactic Sugar
  ☆13Updated 7 years ago
• OPLSS / oplss-notes-2019
  Notes and handouts from OPLSS 2019
  ☆34Updated 6 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 11 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆32Updated 8 years ago
• arthuraa / memory-safe-language
  A formalization of properties of a simple imperative, memory-safe language.
  ☆20Updated 4 years ago
• sweirich / graded-haskell
  Graded Dependent Type systems
  ☆25Updated 2 years ago