Alternatives and similar repositories for jstris-ai

Users that are interested in jstris-ai are comparing it to the libraries listed below

• identicalsnowflake / cantor-pairing
  Convert data to and from a natural number representation
  ☆14Updated 4 years ago
• haskellari / some
  Existential type.
  ☆37Updated 6 months ago
• danielvegamyhre / semantic-viz
  An application to visualize the semantic distance between two words using the Wordnet lexical database and algorithmic path finding.
  ☆10Updated 4 years ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆16Updated 3 years ago
• ttuegel / statistical-elements
  The Elements of Statistical Learning in Haskell
  ☆13Updated 7 years ago
• luke-clifton / generic-monoid
  Deriving Semigroup and Monoid instances for your product types
  ☆11Updated 3 months ago
• mpickering / plugin-constraint
  ☆10Updated 7 years ago
• joom / direct-reflection-for-free
  using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell
  ☆15Updated 5 years ago
• LightAndLight / closure
  Closure calculus implementation
  ☆12Updated 6 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• mrkgnao / pico
  The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
  ☆15Updated 7 years ago
• bobatkey / agda-metric-reals
  ☆29Updated 3 years ago
• michaelpj / abstract-machine-debuggers
  ☆12Updated 6 years ago
• achirkin / constraints-deriving
  Programmatically create new instances using core-to-core plugins
  ☆11Updated 4 years ago
• byteverse / byteslice
  Slices of ByteArray and MutableByteArray
  ☆12Updated 2 weeks ago
• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated 2 years ago
• qnikst / numeric-ode
  Haskell numerical ODE solvers
  ☆14Updated 7 years ago
• haskell-works / hw-hspec-hedgehog
  ☆10Updated last year
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• tonyday567 / chart-svg
  ☆20Updated 5 months ago
• sordina / churros
  simple chan based stream programming with arrow interface (Chan + Arrow = Churro)
  ☆32Updated 2 years ago
• simonmar / haxlbuild
  An experimental build system based on the Haxl library
  ☆8Updated 6 years ago
• atennapel / tinka-hs
  Dependently typed programming language written in Haskell
  ☆22Updated 3 years ago
• boris-ci / boris
  This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.
  ☆19Updated 6 years ago
• sweirich / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆29Updated 3 years ago
• phadej / cabal-sat
  Using cabal-install as SAT solver
  ☆13Updated last year
• benjaminselfridge / logix
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆20Updated 3 years ago
• ttuegel / sparse-linear
  Traditional sparse linear algebra in Haskell
  ☆12Updated 3 years ago
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Updated 10 months ago
• emc2 / arith-encode
  Practical arithmetic encoding (aka Gödel numbering) library for Haskell.
  ☆10Updated 5 years ago