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
• evelinag / Ariadne
  F# library for Gaussian process models
  ☆45Updated 10 years ago
• pocketberserker / FsMachines
  A stream processing library for F#
  ☆39Updated 9 years ago
• palladin / logic
  A logic programming library for F#
  ☆46Updated 10 years ago
• polytypic / JoinCML
  ☆15Updated 9 years ago
• NVIDIA / remorac
  ☆38Updated 9 years ago
• webyrd / declarative-semantics
  miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…
  ☆14Updated 7 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 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
• ziman / idris-bytes
  FFI-based byte buffers for Idris
  ☆10Updated 5 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
• 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
• BayardRock / FsBeaker
  F# implementation for BeakerNotebook
  ☆28Updated 7 years ago
• plum-umd / adapton
  Adapton Project Homepage
  ☆16Updated 9 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆61Updated 9 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆54Updated 3 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• tpetricek / tomasp.net
  Source code for my web site and blog - yet another remake!
  ☆26Updated last month
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• silky / super-reference
  Web-based reference manager, written in Haskell.
  ☆29Updated 9 years ago
• palladin / multi-stage-fsharp
  Multi-stage Programming in F#
  ☆12Updated 9 years ago
• rmculpepper / gamble
  Probabilistic Programming
  ☆42Updated last year
• fsprojects / FSharp.Interop.PythonProvider
  Early experimental F# type provider for python
  ☆43Updated 7 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 8 years ago
• PhDP / Akarui
  Experimental ML/AI code
  ☆21Updated 3 years ago
• kovasb / combinator
  Experiments with fast term-rewriting in clojure
  ☆63Updated 9 years ago
• the-gamma / thegamma-script
  The Gamma lets anyone create transparent and open data visualizations that are linked to the original data source and encourages the rea…
  ☆177Updated last year