sshastry / queenslogic

Related projects ⓘ

Alternatives and complementary repositories for queenslogic

• m0ar / safe-streaming
  Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.
  ☆47Updated 7 years ago
• emk / haskell-probability-monads
  Composable probability monads in Haskell.
  ☆22Updated 9 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 5 years ago
• conal / talk-2016-generic-fft
  A talk on type-generic FFT in Haskell
  ☆45Updated 3 years ago
• ekmett / auth
  ☆41Updated 6 years ago
• jcmincke / Blast
  A Distributed Computing Library in Haskell
  ☆52Updated 7 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated last month
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• alphaHeavy / protobuf
  An implementation of Google's Protocol Buffers in Haskell.
  ☆95Updated 2 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆94Updated 9 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆54Updated 6 years ago
• goldfirere / dependent-db
  ☆20Updated 7 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆88Updated 2 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆95Updated 7 years ago
• pigworker / CS410-15
  being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  ☆40Updated 8 years ago
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆47Updated 5 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆37Updated 5 years ago
• tranma / almost-complexity
  complexity testing for haskell
  ☆47Updated 8 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 8 years ago
• agocorona / Workflow
  re-startable monad that recover the execution state from a log, and workflow patterns
  ☆43Updated 8 years ago
• bch29 / robo-monad
  Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.
  ☆15Updated 8 years ago
• alanz / machines-play
  Playing with https://github.com/ekmett/machines
  ☆51Updated 7 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆60Updated 4 years ago