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
• 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
• namin / dafny-sandbox
  Dafny for Metatheory of Programming Languages
  ☆26Updated 4 months ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 6 years ago
• vpatryshev / Categories
  Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories
  ☆25Updated 6 months ago
• samuelgruetter / dot-calculus
  Formalization of the Dependent Object Types (DOT) calculus
  ☆66Updated 3 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• gallais / pearl-binary-search
  Functional Pearl: Certified Binary Search in a Read-Only Array
  ☆29Updated 4 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆32Updated 8 years ago
• conal / essence-of-ad
  Paper: The simple essence of automatic differentiation
  ☆23Updated 7 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 3 years ago
• robsimmons / abbot
  Generation of abstract binding trees
  ☆27Updated 3 months ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 6 years ago
• combinators / cls-scala
  (CL)S - Combinatory Logic Synthesizer
  ☆12Updated 4 years ago
• dselsam / tc
  Reference type checker for the Lean theorem prover
  ☆17Updated 7 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆35Updated 10 months ago
• michaelt / tagless
  oleg modules
  ☆32Updated 12 years ago
• Kraks / MyPLZoo
  Implementations of various toy programming languages
  ☆12Updated 7 years ago
• Blaisorblade / dot-iris
  Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
  ☆36Updated 3 months ago
• GaloisInc / jvm-parser
  A Haskell parser for JVM bytecode files
  ☆39Updated last year
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 3 years ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆29Updated 9 years ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 3 years ago
• JimmyZJX / TypingFormalization
  ☆15Updated 6 years ago
• be5invis / idris-dict
  A Dict k v in Idris
  ☆15Updated 5 years ago
• ekmett / cadenza
  every day i'm truffling
  ☆70Updated 4 years ago
• andrejbauer / what-is-algebraic-about-algebraic-effects
  ☆48Updated 6 years ago