biocad / math-grads

Related projects: ⓘ

• BioHaskell / octree
  Octree is a shallow tree structure for 3-dimensional points
  ☆20Updated 4 years ago
• sequents / code
  Proof theory seminar
  ☆33Updated 3 years ago
• jtobin / flat-mcmc
  Painless general-purpose sampling.
  ☆23Updated 3 years ago
• BioHaskell / hPDB
  PDB parser in Haskell
  ☆20Updated last year
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 6 years ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated last month
• 0xd34df00d / can-i-haz
  Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError
  ☆14Updated last year
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• klapaucius / vector-hashtables
  ☆33Updated 4 months ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated 6 months ago
• Gabriella439 / suns-search
  Fast all-atom protein structural search engine
  ☆37Updated 2 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• groupoid / ground.zero
  ☆30Updated this week
• clayrat / fav-ssr
  Functional Algorithms Verified in SSReflect
  ☆39Updated last week
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆28Updated 3 years ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆44Updated 2 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated last year
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆26Updated last month
• nebuta / d3js-haskell
  Haskell to D3.js binding by deep EDSL approach.
  ☆23Updated 10 years ago
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆23Updated 5 years ago
• coot / free-algebras
  Free Algebras in Haskell
  ☆36Updated 3 weeks ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆28Updated 3 years ago
• treeowl / sort-traversable
  Sort any Traversable container
  ☆42Updated 2 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆37Updated 5 years ago
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆54Updated 3 months ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated 11 months ago
• mhwombat / som
  Self-Organising Map implementation in Haskell
  ☆23Updated 2 years ago
• Genetic-Strictness / Autobahn
  ☆18Updated 5 years ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated 8 months ago
• xgrommx / agda-ecosystem
  ☆28Updated 6 years ago