Alternatives and similar repositories for CoreTabular

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

• jack-pappas / experimental-functors
  An experiment at expressing functors in F# the .NET type system.
  ☆17Updated 11 years ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆61Updated 8 years ago
• evelinag / Ariadne
  F# library for Gaussian process models
  ☆45Updated 10 years ago
• nwf / dyna
  Dyna2 compiler and REPL
  ☆147Updated 5 years ago
• strymonas / staged-streams.ocaml
  ☆60Updated 6 years ago
• pocketberserker / FsMachines
  A stream processing library for F#
  ☆39Updated 9 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆53Updated 3 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Updated 11 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆42Updated 6 years ago
• awf / Coconut
  Shaking expression trees until something tasty pops out
  ☆17Updated 7 years ago
• fsprojects / FSharp.Linq.ComposableQuery
  Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"
  ☆70Updated 6 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆56Updated 9 years ago
• axch / dysvunctional-language
  Running the code you want to write as fast as the code you have to write
  ☆140Updated 9 years ago
• plum-umd / adapton
  Adapton Project Homepage
  ☆16Updated 9 years ago
• shayan-najd / QFeldspar
  QFeldspar: a QDSL front-end for MiniFeldspar
  ☆14Updated 9 years ago
• palladin / logic
  A logic programming library for F#
  ☆46Updated 10 years ago
• seliopou / ocaml-d3
  OCaml bindings for D3.js
  ☆75Updated 7 years ago
• silky / super-reference
  Web-based reference manager, written in Haskell.
  ☆30Updated 9 years ago
• polytypic / JoinCML
  ☆15Updated 10 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 7 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 9 years ago
• robdockins / edison
  Edison: A Library of Efficient Data Structures
  ☆56Updated 6 months ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆34Updated 7 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 9 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆15Updated 10 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆86Updated 7 years ago
• 1ml-prime / 1ml
  1ML prototype interpreter
  ☆20Updated 5 years ago