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
  ☆41Updated 3 years ago
• ilya-klyuchnikov / mrsc
  A toolkit for building multi-result supercompilers
  ☆31Updated 3 years ago
• jsiek / arete
  Arete is an experimental programming language.
  ☆12Updated last year
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 6 years ago
• Kraks / MyPLZoo
  Implementations of various toy programming languages
  ☆12Updated 7 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• Blaisorblade / dot-iris
  Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
  ☆33Updated last month
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆35Updated 6 months ago
• gallais / pearl-binary-search
  Functional Pearl: Certified Binary Search in a Read-Only Array
  ☆29Updated 4 years ago
• samuelgruetter / dot-calculus
  Formalization of the Dependent Object Types (DOT) calculus
  ☆66Updated 3 years ago
• GaloisInc / jvm-parser
  A Haskell parser for JVM bytecode files
  ☆39Updated last year
• namin / lms-verify
  generative programming & verification
  ☆33Updated 2 months ago
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆26Updated last week
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆54Updated 2 years ago
• poitin / Distiller
  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
  ☆28Updated 3 years ago
• robsimmons / abbot
  Generation of abstract binding trees
  ☆27Updated 10 months ago
• combinators / cls-scala
  (CL)S - Combinatory Logic Synthesizer
  ☆12Updated 3 years ago
• TiarkRompf / minidot
  Dependent Object Types (DOT), bottom up
  ☆87Updated 3 years ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆74Updated last year
• OPLSS / introduction-to-algebraic-effects-and-handlers
  Introduction to algebraic effects and handlers
  ☆96Updated 7 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 2 years ago
• clayrat / idris-linear
  Experiments with linear types
  ☆14Updated 7 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 3 months ago
• TiarkRompf / lms-clean
  ☆55Updated 4 months ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 3 years ago
• tsung-ju / SystemF
  An Agda formalization of System F and the Brown-Palsberg self-interpreter
  ☆26Updated 4 years ago
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆82Updated 8 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆32Updated 6 years ago