chrisdone-archive / flo
Generate flow charts from your code base.
☆15Updated 9 years ago
Alternatives and similar repositories for flo:
Users that are interested in flo are comparing it to the libraries listed below
- Combinators for bidirectional JSON parsing☆21Updated 10 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Haskell to Javascript compiler (via GHC)☆20Updated 5 years ago
- What I Wish I Knew While Learning Nix☆35Updated 3 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Updated 6 years ago
- A small Haskell server for generating visual stories based on some ascertainable data about the requester.☆57Updated 12 years ago
- ☆15Updated 8 years ago
- An efficient syntax highlighting library in Haskell, using alex-generated lexers☆26Updated 13 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆16Updated 9 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago
- A sinatra-ish framework written in haskell, riding on top of Hack☆57Updated 14 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- A nullary type class for partial functions☆15Updated 7 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 9 months ago
- Parser and type analysis for the Go programming language☆12Updated last year
- ☆11Updated 7 years ago
- for lstoll to work his magic on.☆18Updated 13 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- Make presentations for data types☆25Updated 3 years ago
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- ☆26Updated 8 years ago
- A Dockerfile to build a development environment for Android version of Epidemic.☆30Updated 8 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- Simple auto completion web server☆33Updated 10 years ago