Alternatives and similar repositories for publicstuff

Users that are interested in publicstuff are comparing it to the libraries listed below

• ga / haskell
  A geometric algebra implementation in Haskell
  ☆32Updated 5 years ago
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 8 years ago
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 8 years ago
• ku-fpg / blank-canvas
  A Haskell API into HTML5 Canvas
  ☆72Updated 3 weeks ago
• conal / talk-2016-generic-fft
  A talk on type-generic FFT in Haskell
  ☆46Updated 4 years ago
• agda-attic / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆41Updated 10 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 9 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 10 years ago
• 5outh / Bang
  A Drum Machine DSL for Haskell
  ☆95Updated 7 years ago
• scmu / foundations-harper
  Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
  ☆53Updated 6 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• pigworker / Pivotal
  ☆31Updated 11 years ago
• lambdageek / freer-church
  Church-encoding of the Freer monad
  ☆28Updated 9 years ago
• waivio / cl3
  Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)
  ☆57Updated 3 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆36Updated last year
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆149Updated 9 years ago
• jputcu / serialport
  Cross platform haskell library for using the serial port
  ☆43Updated 5 years ago
• mietek / et-lang
  ET (IPL) language interpreters and literature
  ☆26Updated 6 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 5 years ago
• uhc / uhc
  Utrecht Haskell Compiler
  ☆42Updated 13 years ago
• pigworker / CS410-15
  being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  ☆40Updated 9 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆52Updated 3 years ago
• markokoleznik / agda-writer
  A simple GUI for Agda
  ☆31Updated 10 years ago
• byorgey / type-matrices
  Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
  ☆14Updated 7 years ago
• haskell / mwc-random
  A very fast Haskell library for generating high quality pseudo-random numbers.
  ☆59Updated last month
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆48Updated 7 years ago
• iu-parfunc / haskell_dsl_tour
  Examples of relevant technologies for implementing DSLs in Haskell.
  ☆15Updated 10 years ago
• UlfNorell / agda-summer-school
  Summer school on programming in Agda
  ☆68Updated 2 years ago
• mstksg / hamilton
  Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…
  ☆154Updated last year
• pigworker / shonky
  being some experiments, working towards some equipment I wish I had
  ☆37Updated 10 years ago