cmahon / composing-contracts

Related projects: ⓘ

• HIPERFIT / contracts
  Symbolic financial contract EDSL
  ☆38Updated 4 years ago
• astump / cedilleum-spec
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆26Updated 5 years ago
• paulrzcz / hquantlib
  HQuantLib, financial math in Haskell
  ☆64Updated 8 months ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆56Updated 3 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• jprupp / nqe
  Concurrency library inspired by Erlang/OTP
  ☆19Updated 9 months ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆71Updated 4 years ago
• emk / haskell-probability-monads
  Composable probability monads in Haskell.
  ☆22Updated 9 years ago
• nicolabotta / SeqDecProbs
  ☆13Updated 7 years ago
• DAHeath / optic-graph
  Haskell graph library
  ☆10Updated 6 years ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated last week
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆35Updated 2 years ago
• ekmett / auth
  ☆41Updated 6 years ago
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆37Updated 5 years ago
• conal / linalg
  ☆42Updated this week
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated last year
• effectfully / OTT
  Observational Type Theory as an Agda library
  ☆50Updated 7 years ago
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 4 years ago
• cmu-phil / Spectral
  ☆44Updated last year
• coot / free-algebras
  Free Algebras in Haskell
  ☆36Updated 3 weeks ago
• philzook58 / rel
  Explorations in relations and the algebra of programming
  ☆17Updated 4 years ago
• sirlensalot / fadno-braids
  Braid representations in Haskell
  ☆21Updated 8 months ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated 11 months ago
• sshastry / queenslogic
  n queens with the logic monad
  ☆20Updated 9 years ago
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 2 years ago
• walck / cyclotomic
  A subfield of the complex numbers for exact calculation.
  ☆19Updated 4 years ago
• shayan-najd / MiniFeldspar
  ☆23Updated 9 years ago