yigitozkavci / typelevel-dijkstra-sp
Dijkstra's shortest path algorithm implemented at type level with Haskell
☆20Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for typelevel-dijkstra-sp
- An image-processing library for Haskell.☆10Updated 8 years ago
- A Language and its compiler on Ethereum Virtual Machine☆14Updated 5 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14Updated 9 years ago
- Haskell typechecker☆39Updated 5 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 6 years ago
- Haskell Configuration Loader☆19Updated 3 weeks ago
- ☆16Updated 2 years ago
- My master thesis about generic programming and ornaments☆16Updated 8 years ago
- 🔄 Synchronize personal configs across multiple machines☆21Updated 4 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Updated 6 years ago
- Extend the import list of a Haskell source file☆38Updated 3 years ago
- A command-line tool for live monitoring☆25Updated 2 years ago