vindaloo-thesis / examples

Related projects ⓘ

Alternatives and complementary repositories for examples

• ConsenSysMesh / Fae
  A functional smart contract system
  ☆6Updated 5 years ago
• bos / bloomfilter
  A fast Haskell Bloom filter library.
  ☆60Updated last year
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 5 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated last month
• serokell / rocksdb-haskell
  Haskell bindings to RocksDB (http://rocksdb.org)
  ☆27Updated 6 years ago
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆57Updated 8 years ago
• mitchellwrosen / dohaskell
  Tagged Haskell learning resources index
  ☆22Updated 8 years ago
• ekmett / auth
  ☆41Updated 6 years ago
• yamadapc / yesod-servant-example
  Example of embedding Servant within a Yesod Application
  ☆15Updated 8 years ago
• jfdm / idris-config
  Parsers for various configuration files written in Idris.
  ☆19Updated 7 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 7 years ago
• idris-hackers / idris-lens
  ☆22Updated 8 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• jprupp / nqe
  Concurrency library inspired by Erlang/OTP
  ☆19Updated 11 months ago
• iand675 / metrics
  Haskell metrics library
  ☆20Updated 7 years ago
• ekmett / concurrent
  Yet another concurrent playground
  ☆32Updated 8 years ago
• roman / Haskell-capataz
  OTP-like supervision trees in Haskell
  ☆62Updated 5 years ago
• conal / talk-2015-more-elegant-frp
  A more elegant specification for FRP
  ☆24Updated 10 months ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• UnkindPartition / monad-classes
  A more flexible mtl
  ☆64Updated 6 years ago
• singpolyma / wai-session
  Flexible session middleware for WAI
  ☆15Updated 3 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 4 years ago
• kellino / microML
  a simple functional language for learners
  ☆30Updated 7 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆48Updated last year
• jpfuentes2 / swim
  Haskell implementation of the SWIM epidemic gossip protocol
  ☆12Updated 5 years ago
• jeremyjh / higher-leveldb
  Haskell library that provides a rich monadic API on top of leveldb-haskell. Includes a simple but flexible scan/map/reduce mechanism as w…
  ☆25Updated 4 years ago