Alternatives and similar repositories for js-autodiff:

Users that are interested in js-autodiff are comparing it to the libraries listed below

• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 7 years ago
• iffsid / ad.js
  Automatic-Differentiation in js
  ☆34Updated 9 years ago
• gilbo / baselang
  A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language
  ☆11Updated 9 years ago
• liyang / fast-math
  Play fast and loose with IEEE-754 rewrite RULES
  ☆25Updated 9 years ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 8 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 10 years ago
• texodus / forml
  A programming language
  ☆77Updated 11 years ago
• vmchale / recursion
  Recursion schemes in ATS
  ☆9Updated 2 years ago
• amnh / ocamion
  Numerical and Combinatorial Optimization Library
  ☆19Updated 11 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• amosr / limp
  ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
  ☆16Updated 6 years ago
• msprotz / proof-search-monad
  Tentative write-up of a neat trick used in the Mezzo type-checker
  ☆14Updated 9 years ago
• jtobin / declarative
  DIY Markov Chains.
  ☆25Updated 4 months ago
• kai-qu / linear-logic
  An encoding of linear logic in Coq with minimal Sokoban and blocks world examples
  ☆21Updated 3 years ago
• bobatkey / foveran
  A Dependently Typed Programming Language
  ☆27Updated 4 years ago
• cscheid / lux
  Lux is an EDSL for WebGL graphics and shading
  ☆100Updated 6 years ago
• JetBrains / ot-coq
  ot-coq
  ☆16Updated last year
• thsutton / rawr
  Roaring bitmaps in Haskell
  ☆13Updated 6 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆68Updated 4 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆55Updated 6 years ago