ehaas / js-autodiff

Related projects ⓘ

Alternatives and complementary repositories for js-autodiff

• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• texodus / forml
  A programming language
  ☆76Updated 11 years ago
• iffsid / ad.js
  Automatic-Differentiation in js
  ☆35Updated 8 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 9 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 9 years ago
• mikolalysenko / functional-priority-queue
  A functional priority queue in JavaScript
  ☆20Updated 9 years ago
• lyzidiamond / rpl
  REPL from the future and past.
  ☆52Updated 9 years ago
• CodeJockey / node-ninja
  Node.js native addon build tool
  ☆15Updated 2 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 8 years ago
• alexanderkyte / VerticalFingerTree
  ☆33Updated 8 years ago
• freethenation / unify.js
  An Efficient JavaScript Unification Library
  ☆19Updated 9 years ago
• erykpiast / autocompleted-select
  Select Web Component with autocompletion. Based on RxJS and VirtualDOM.
  ☆12Updated 9 years ago
• scijs / ndarray-blas-level1
  BLAS Level 1 operations for ndarrays
  ☆11Updated 8 years ago
• silene / remake
  Remake, a build system that bridges the gap between make and redo
  ☆26Updated 3 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• smikes / femscripten
  A docker image for Fortran -> js compilation
  ☆22Updated 10 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆50Updated 8 years ago
• micahhahn / FunctionalGeometry
  A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".
  ☆26Updated 7 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• phadej / typify-parser
  Type signature parser for typify
  ☆9Updated 5 years ago
• elliottt / dang
  A compiler for a strongly typed, haskell-like functional language
  ☆22Updated 6 years ago
• drom / wast-parser
  WebAssembly AST parser
  ☆18Updated 6 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆30Updated 7 years ago
• vega / datalib-sketch
  Probabilistic data structures for large or streaming data sets.
  ☆20Updated 7 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• dchester / generator-async
  Flexible generator-based asynchronous control flow for Node.js.
  ☆11Updated 8 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago