sirlensalot / fadno-braids

Related projects ⓘ

Alternatives and complementary repositories for fadno-braids

• spacekitteh / haskell-clifford
  Clifford algebra for Haskell! :D
  ☆15Updated 10 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated 2 months ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 5 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆34Updated 3 years ago
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 3 weeks ago
• shayan-najd / MiniFeldspar
  ☆23Updated 9 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 9 years ago
• MichelBoucey / cayley-client
  A Haskell client library for Cayley database graph
  ☆14Updated 2 months ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 6 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• ekmett / concurrent
  Yet another concurrent playground
  ☆32Updated 9 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 10 months ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• acowley / concurrent-machines
  Concurrency features for the Haskell machines package
  ☆17Updated 2 years ago
• byorgey / enumeration
  Simple Haskell package for efficiently indexable finite and infinite enumerations.
  ☆11Updated 3 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆51Updated 6 months ago
• haskell-distributed / distributed-process-async
  Cloud Haskell - Asynchronous Execution
  ☆18Updated 2 months ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 5 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 7 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• iconnect / api-tools
  A Haskell embedded DSL for generating an API's JSON wrappers and documentation.
  ☆34Updated 3 months ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 2 years ago