GaloisInc / haskell-tor
A Haskell implementation of the Tor protocol.
☆270Updated 6 years ago
Related projects: ⓘ
- A modern syntax for the λ-calculus.☆409Updated 8 years ago
- GHC plugin that improves Haskell code's numerical stability☆191Updated 8 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆363Updated last year
- 🐣 A blog engine written and proven in Coq☆177Updated 4 years ago
- Community-driven book on intermediate Haskell☆296Updated 9 years ago
- ☆99Updated 6 years ago
- TLS/SSL implementation in haskell☆402Updated 2 months ago
- Fork of Don Stewarts h4sh haskell shell scripts☆67Updated 14 years ago
- A bittorrent client written in Haskell☆234Updated 7 years ago
- Jump start your Haskell development☆158Updated 8 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- Haskell JIT☆181Updated 4 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated last year
- A bare-bones calculus-of-constructions☆373Updated 2 years ago
- Moved to https://github.com/haskus/packages☆348Updated 2 months ago
- The Ivory EDSL☆391Updated 4 years ago
- Type safe interface for working in subcategories of Hask☆418Updated 5 years ago
- ☆116Updated 9 years ago
- ☆82Updated this week
- Anonymous records☆245Updated 5 years ago
- Learn you an Agda (and achieve enlightenment)☆311Updated 6 years ago
- System for installing Haskell apps☆168Updated 5 years ago
- ☆159Updated this week
- Slides from talks that I give☆294Updated last year
- Haskell-based shell scripting language☆523Updated last week
- A dead simple networked key/value store☆115Updated 9 years ago
- Haskell text processor for the command-line☆361Updated 7 months ago
- LTS Haskell build plans☆158Updated last month
- Repository for collaborative Haskell documentation☆209Updated 2 years ago
- The haskell network stack☆115Updated 6 years ago