pfnet-research / menoh-haskell

Related projects ⓘ

Alternatives and complementary repositories for menoh-haskell

• 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
• egison / typed-egison
  ☆17Updated 5 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 / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 4 years ago
• unnohideyuki / bunny
  Haskell x Android
  ☆24Updated 2 years ago
• fumieval / liszt
  Publish & Subscribe
  ☆13Updated 3 years ago
• nomaddo / loop
  ☆15Updated 7 years ago
• pfnet-research / menoh-rs
  Rust binding for Menoh
  ☆13Updated 5 years ago
• pi8027 / typeinfer
  Type inference in OCaml
  ☆39Updated 9 years ago
• haskell-jp / blog
  Official blog of Haskell-jp.
  ☆28Updated 10 months ago
• nineties / prml-seminar
  ☆19Updated 6 years ago
• qnighy / ipc_solver
  O(N log N)-space IPC solver in OCaml
  ☆52Updated last year
• akio / menoh_ros
  ☆11Updated 6 years ago
• egison / sweet-egison
  Haskell library for non-deterministic pattern matching
  ☆17Updated 2 years ago
• shiatsumat / fp-papers
  関数型プログラミングに関する論文の非公式日本語訳
  ☆23Updated 9 years ago
• RKX1209 / c3
  The C3, SMT/SAT solver written in C.
  ☆34Updated 2 years ago
• ajtulloch / deeplearning-hs
  ☆54Updated 8 years ago
• nobsun / hs-bcopl
  五十嵐淳 著『プログラミング言語の基礎概念』
  ☆10Updated 8 years ago
• pfnet-research / go-menoh
  Golang binding for Menoh DNN inference library
  ☆14Updated 6 years ago
• mpickering / icfp2015-papers
  Accepted papers for ICFP 2015
  ☆45Updated 8 years ago
• lotz84 / double-pendulum-simulation
  二重振り子シミュレーション
  ☆41Updated 7 years ago
• fumieval / apus
  ☆10Updated 5 years ago
• coord-e / mlml
  self-hosted compiler for a subset of OCaml
  ☆50Updated 5 years ago
• ksk / Rho
  Programs for checking the ρ property
  ☆17Updated 3 years ago
• sfja / sfja
  SoftwareFoundations(Ja)
  ☆71Updated 5 years ago
• AccelerateHS / accelerate-cuda
  DEPRECATED: Accelerate backend for NVIDIA GPUs
  ☆57Updated 7 years ago
• scravy / bed-and-breakfast
  Matrix operations in 100% pure Haskell
  ☆33Updated 11 months ago
• nagaet / Garrigue-lecture-2018_AW
  ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)
  ☆13Updated 5 years ago
• lotz84 / recursion-algorithms
  a collection of various algorithms written using recursion schemes
  ☆21Updated 2 years ago