Alternatives and similar repositories for CoreTabular

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

• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• palladin / logic
  A logic programming library for F#
  ☆46Updated 10 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
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆60Updated 8 years ago
• evelinag / Ariadne
  F# library for Gaussian process models
  ☆45Updated 10 years ago
• pocketberserker / FsMachines
  A stream processing library for F#
  ☆39Updated 9 years ago
• fsprojects / FSharp.Linq.ComposableQuery
  Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"
  ☆69Updated 5 years ago
• plum-umd / adapton
  Adapton Project Homepage
  ☆16Updated 9 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 10 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• evelinag / ffplot
  Wrapper for ggplot2 to simplify creating of plots in F# using RPRovider
  ☆17Updated 9 years ago
• langston-barrett / reed-thesis
  My undergradate thesis on coinductive types in univalent type theory
  ☆17Updated 7 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆64Updated 9 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 3 years ago
• jtobin / flat-mcmc
  Painless general-purpose sampling.
  ☆24Updated 7 months ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• priorknowledge / loom
  A streaming cross-cat inference engine
  ☆49Updated 10 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• 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
• axch / dysvunctional-language
  Running the code you want to write as fast as the code you have to write
  ☆140Updated 8 years ago
• PhDP / Akarui
  Experimental ML/AI code
  ☆21Updated 3 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆35Updated 4 months ago
• robdockins / edison
  Edison: A Library of Efficient Data Structures
  ☆55Updated 2 months ago
• jtobin / declarative
  DIY Markov Chains.
  ☆25Updated 7 months ago
• mkery / Variolite
  ☆16Updated 8 years ago