Alternatives and similar repositories for deep-learning-koans

Users that are interested in deep-learning-koans are comparing it to the libraries listed below

• jasonmorton / Typeclass.jl
  multiparameter typeclasses for Julia
  ☆24Updated 8 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆52Updated 8 months ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated 3 weeks ago
• diku-dk / futhark-book
  Parallel Programming in Futhark
  ☆48Updated 2 weeks ago
• ulysses4ever / Monads.jl
  Monadic expressions and sequences for Julia
  ☆32Updated 11 months ago
• stan-dev / stanc3
  The Stan transpiler (from Stan to C++ and beyond).
  ☆148Updated last week
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆31Updated 3 weeks ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated last month
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆88Updated last week
• astrieanna / TypeCheck.jl
  A TypeChecker for Julia
  ☆70Updated 11 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• zachallaun / FunctionalUtils.jl
  Functional Julia – based on fogus/lemonad
  ☆23Updated 12 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆39Updated 9 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated last month
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆100Updated last year
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆31Updated last month
• mgorinova / SlicStan
  A Stan-like probabilistic programming language.
  ☆68Updated 4 years ago
• zenna / Arrows.jl
  ☆14Updated 5 years ago
• JuliaNeighbors / IVFADC.jl
  Inverted file system for billion-scale ANN search
  ☆19Updated last year
• pymc-devs / symbolic-pymc
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆62Updated last year
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• bgamari / bayes-stack
  Framework for Gibbs sampling of probabilistic models
  ☆49Updated 10 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• shashi / APL.jl
  a pure julia APL implementation that gets mostly "compiled out"
  ☆66Updated 3 years ago