BartoszMilewski / GameOfLife

Related projects ⓘ

Alternatives and complementary repositories for GameOfLife

• BartoszMilewski / XOperad
  The implementation of tic-tac-toe using an operadic comonad
  ☆11Updated 3 years ago
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆57Updated 7 years ago
• typelead / etlas
  Etlas, the build tool and package manager for the Eta programming language
  ☆63Updated 5 years ago
• purescript / purescript-lists
  Linked Lists
  ☆56Updated 11 months ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated 2 months ago
• ekmett / either
  the EitherT monad transformer
  ☆55Updated 6 months ago
• sellout / Iaia
  A recursion scheme library for Idris.
  ☆24Updated last week
• kfish / raft
  Raft distributed consensus protocol (Haskell library)
  ☆27Updated 5 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆57Updated 8 years ago
• cblp / crdt
  ☆43Updated 3 years ago
• ekmett / contravariant
  Haskell 98 contravariant functors
  ☆73Updated last month
• uwap / idris-http
  An HTTP library for idris
  ☆40Updated 5 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 5 years ago
• steshaw / tdd-with-idris
  Working through Type-Driven Development with Idris
  ☆24Updated 8 years ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 2 years ago
• google / cabal2bazel
  Haskell Bazel rules and cabal2bazel import tool.
  ☆42Updated 3 years ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆18Updated 5 years ago
• google / hrepl
  Interactive development for Bazel/Haskell rules
  ☆49Updated 3 years ago
• BartoszMilewski / AofC2017
  Advent of Code 2017
  ☆41Updated 5 years ago
• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 6 years ago
• hasura / graphql-parser-hs
  A GraphQL query parser for Haskell
  ☆59Updated 2 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 3 weeks ago
• acid-state / safecopy
  An extension to Data.Serialize with built-in version control
  ☆60Updated 6 months ago
• typelead / eta-ffi
  A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.
  ☆18Updated 6 years ago
• fpco / schoolofhaskell.com
  ☆16Updated 4 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 5 months ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆18Updated 3 months ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated 10 months ago
• cjdev2 / monad-persist
  An mtl-style typeclass and transformer for persistent
  ☆11Updated 6 years ago
• amarpotghan / crjdt-haskell
  A Conflict-Free Replicated JSON Datatype for Haskell
  ☆33Updated 6 years ago