Alternatives and similar repositories for STALINGRAD:

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

• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆26Updated 6 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
• rmculpepper / gamble
  Probabilistic Programming
  ☆42Updated last year
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 5 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• bennn / mechanics
  (in progress) Racket port of the SICM scmutils library
  ☆35Updated 4 years ago
• qobi / R6RS-AD
  Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…
  ☆39Updated 9 years ago
• conal / paper-2020-higher-order-ad
  Higher-order, higher-order automatic differentiation
  ☆30Updated 5 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• IntelLabs / Latte.jl
  A high-performance DSL for deep neural networks in Julia
  ☆53Updated 2 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 8 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• dpiponi / Operators
  Some operator abuse
  ☆28Updated 7 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆46Updated last year
• dritchie / quicksand
  A low-level probabilistic programming framework embedded in Terra.
  ☆29Updated 8 years ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆35Updated 3 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆25Updated 7 years ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆33Updated 5 years ago
• cyrus- / thesis
  My PhD thesis, titled "Reasonably Programmable Syntax"
  ☆15Updated 6 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago