abid-mujtaba / haskell-cas

Related projects ⓘ

Alternatives and complementary repositories for haskell-cas

• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• gfixler / continou
  Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)
  ☆15Updated 6 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 3 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• leventov / yarr
  Yer another array library
  ☆41Updated 6 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• mcschroeder / ctrie
  Non-blocking concurrent hashmap for Haskell
  ☆17Updated 7 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆60Updated 6 years ago
• ltext / ltext
  λtext - higher-order file applicator
  ☆36Updated 10 months ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 9 years ago
• snoyberg / basic-prelude
  An enhanced core prelude, meant for building up more complete preludes on top of.
  ☆49Updated 6 years ago
• acfoltzer / Molog
  A typed logic programming language embedded in Haskell
  ☆49Updated 11 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 6 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆39Updated last year
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 5 years ago
• bch29 / robo-monad
  Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.
  ☆15Updated 9 years ago
• adamgundry / uom-plugin
  Units of measure as a GHC typechecker plugin
  ☆30Updated 2 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• haskell-unordered-containers / hashable
  A class for types that can be converted to a hash value
  ☆103Updated 2 weeks ago
• cokmett / cokmett
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Updated 11 years ago
• jaredloomis / Idris-HoTT
  Homotopy Type Theory proofs in Idris
  ☆21Updated 5 years ago
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 4 years ago
• haskell / critbit
  A Haskell implementation of crit-bit trees.
  ☆138Updated 2 years ago
• idris-lang / idris-emptycg
  An empty code generator, to be used as a starting point for any new back ends.
  ☆50Updated 7 years ago
• DougBurke / astro-haskell
  IHaskell notebooks showing how Haskell can be used in Astronomy.
  ☆22Updated 9 years ago
• conal / talk-2016-generic-fft
  A talk on type-generic FFT in Haskell
  ☆45Updated 3 years ago
• HaskellEmbedded / ion
  An Ivory library inspired by Atom
  ☆14Updated 8 years ago