Alternatives and similar repositories for CoreTabular:

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

• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• jack-pappas / experimental-functors
  An experiment at expressing functors in F# the .NET type system.
  ☆17Updated 11 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• pocketberserker / FsMachines
  A stream processing library for F#
  ☆39Updated 9 years ago
• langston-barrett / reed-thesis
  My undergradate thesis on coinductive types in univalent type theory
  ☆17Updated 6 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆54Updated 2 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 6 years ago
• ziman / idris-bytes
  FFI-based byte buffers for Idris
  ☆10Updated 5 years ago
• evelinag / Ariadne
  F# library for Gaussian process models
  ☆45Updated 10 years ago
• JoinPatterns / ScalableJoins
  ScalableJoins
  ☆16Updated 9 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆48Updated 2 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• SamuelSchlesinger / AutomataTheory
  ☆21Updated 4 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆40Updated 2 years ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆59Updated 7 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• kowey / GenI
  Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar
  ☆21Updated 9 years ago
• awf / Coconut
  Shaking expression trees until something tasty pops out
  ☆16Updated 6 years ago
• rmculpepper / gamble
  Probabilistic Programming
  ☆41Updated last year
• tpetricek / histogram
  Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions…
  ☆20Updated 2 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆47Updated 7 years ago
• catalin-hritcu / fstar-course
  Program verification with F* course materials
  ☆11Updated 5 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆34Updated 8 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆62Updated 9 years ago