yigitozkavci / typelevel-dijkstra-sp
Dijkstra's shortest path algorithm implemented at type level with Haskell
☆20Updated 7 years ago
Alternatives and similar repositories for typelevel-dijkstra-sp:
Users that are interested in typelevel-dijkstra-sp are comparing it to the libraries listed below
- An image-processing library for Haskell.☆10Updated 9 years ago
- A Language and its compiler on Ethereum Virtual Machine☆14Updated 6 years ago
- Haskell Configuration Loader☆19Updated 2 weeks ago
- A simple way to query constructors, like cases but slightly more concise☆11Updated 7 years ago
- ☆16Updated 2 years ago
- Type-level assertion operators☆16Updated 7 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 7 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- My master thesis about generic programming and ornaments☆16Updated 8 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14Updated 9 years ago
- 🔄 Synchronize personal configs across multiple machines☆21Updated 4 years ago
- Less Type, more Typeable.☆14Updated 6 years ago
- A command-line tool for live monitoring☆25Updated 2 years ago
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- Turn an optparse-applicative program into a CGI program!☆35Updated 5 years ago
- A simple, purely-functional programming language☆25Updated 2 years ago
- Provides a conduit based interface to uploading data to S3 using the Multipart API☆20Updated 10 months ago
- Verified left pad☆19Updated 7 years ago
- Type-Theory in Sequent Calculus☆13Updated 9 years ago
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- Library of simd functions☆18Updated last year
- System F implemented in Haskell☆24Updated 13 years ago
- ☆13Updated 8 years ago
- 📶 - Elm style FRP library for Haskell☆16Updated 6 years ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Updated 4 years ago
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- Omit fields for instance deriving☆37Updated 4 years ago
- Playing with Haskell effect systems☆13Updated 5 years ago