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
• pocketberserker / FsMachines
  A stream processing library for F#
  ☆39Updated 9 years ago
• jmoy / costlyState
  Classroom demonstration of costly state verification in finance
  ☆16Updated 10 years ago
• evelinag / Ariadne
  F# library for Gaussian process models
  ☆45Updated 10 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• palladin / logic
  A logic programming library for F#
  ☆46Updated 10 years ago
• polytypic / JoinCML
  ☆15Updated 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
• delegateas / Delegate.Sandbox
  A library that provides a Computation Expression named SandboxBuilder, sandbox { return 42 }, which ensures that values returned from the…
  ☆15Updated 9 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆60Updated 7 years ago
• plum-umd / adapton
  Adapton Project Homepage
  ☆16Updated 9 years ago
• NVIDIA / remorac
  ☆38Updated 9 years ago
• palladin / multi-stage-fsharp
  Multi-stage Programming in F#
  ☆12Updated 9 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆54Updated 3 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• FranklinChen / spreadsheet-haskell
  Spreadsheet demo in Haskell
  ☆16Updated 6 months ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• PhDP / Akarui
  Experimental ML/AI code
  ☆21Updated 3 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 8 years ago
• jtobin / declarative
  DIY Markov Chains.
  ☆25Updated 6 months ago
• kowey / GenI
  Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar
  ☆21Updated 10 years ago
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆81Updated 4 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• awf / Coconut
  Shaking expression trees until something tasty pops out
  ☆16Updated 6 years ago
• mmottl / gpr
  Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.
  ☆47Updated 3 months ago
• tpetricek / anarchy-workshop
  ☆13Updated 7 years ago
• seliopou / ocaml-d3
  OCaml bindings for D3.js
  ☆75Updated 6 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago