pfnet-research / menoh-haskell

Related projects ⓘ

Alternatives and complementary repositories for menoh-haskell

• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 4 years ago
• akabe / docker-iocaml-datascience
  Dockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) with libraries for data science and machine learning
  ☆28Updated 7 years ago
• nineties / category-seminar
  Materials for category theory seminar
  ☆27Updated 10 months ago
• nushio3 / formura
  Describe stencil formurae without even translating them
  ☆58Updated 7 years ago
• egison / typed-egison
  ☆17Updated 5 years ago
• fumieval / liszt
  Publish & Subscribe
  ☆13Updated 3 years ago
• pi8027 / typeinfer
  Type inference in OCaml
  ☆39Updated 9 years ago
• pfnet-research / go-menoh
  Golang binding for Menoh DNN inference library
  ☆14Updated 6 years ago
• pfnet-research / menoh-rs
  Rust binding for Menoh
  ☆13Updated 5 years ago
• unnohideyuki / bunny
  Haskell x Android
  ☆25Updated 2 years ago
• akio / menoh_ros
  ☆11Updated 6 years ago
• egison / sweet-egison
  Haskell library for non-deterministic pattern matching
  ☆17Updated 2 years ago
• konn / herbrand
  An experiment around automated theorem proving in Haskell
  ☆11Updated last year
• haskell-jp / blog
  Official blog of Haskell-jp.
  ☆28Updated 10 months ago
• pfnet-research / chainer-compiler
  Experimental toolchain to compile and run Chainer models
  ☆112Updated 4 years ago
• coord-e / mlml
  self-hosted compiler for a subset of OCaml
  ☆50Updated 5 years ago
• shiatsumat / fp-papers
  関数型プログラミングに関する論文の非公式日本語訳
  ☆23Updated 9 years ago
• ajtulloch / deeplearning-hs
  ☆54Updated 8 years ago
• RKX1209 / c3
  The C3, SMT/SAT solver written in C.
  ☆34Updated 2 years ago
• nomaddo / loop
  ☆15Updated 7 years ago
• lotz84 / double-pendulum-simulation
  二重振り子シミュレーション
  ☆41Updated 7 years ago
• junjihashimoto / th-cas
  Compile time CAS(Computer Algebra System) for Haskell
  ☆17Updated 4 years ago
• sfja / sfja
  SoftwareFoundations(Ja)
  ☆71Updated 5 years ago
• aditya-khant / neural-assembly-compiler
  A neural assembly compiler for pyTorch based on adaptive-neural-compilation
  ☆27Updated 6 years ago
• qnighy / ipc_solver
  O(N log N)-space IPC solver in OCaml
  ☆52Updated last year
• AccelerateHS / accelerate-cuda
  DEPRECATED: Accelerate backend for NVIDIA GPUs
  ☆57Updated 7 years ago
• lotz84 / FlappyHaskell
  An implementation of Flappy Bird in Haskell using FRP and OpenGL.
  ☆31Updated 9 years ago
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 6 years ago
• belltailjp / chainer_computational_cost
  Estimate theoretical computational cost of a chainer-based neural network
  ☆50Updated 5 years ago
• optuna / bboc-optuna-developers
  Black-box optimizer submitted to BBO challenge at NeurIPS 2020
  ☆13Updated 3 years ago