GaloisInc / haskell-tor
A Haskell implementation of the Tor protocol.
☆273Updated 7 years ago
Alternatives and similar repositories for haskell-tor:
Users that are interested in haskell-tor are comparing it to the libraries listed below
- A special interest group for companies and individuals interested in commercial usage of Haskell☆454Updated last year
- Community-driven book on intermediate Haskell☆297Updated 9 years ago
- GHC plugin that improves Haskell code's numerical stability☆192Updated 9 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆68Updated 14 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated last year
- A modern syntax for the λ-calculus.☆411Updated 8 years ago
- 🐣 A blog engine written and proven in Coq☆178Updated 5 years ago
- A bittorrent client written in Haskell☆235Updated 8 years ago
- Type safe interface for working in subcategories of Hask☆419Updated 5 years ago
- A bare-bones calculus-of-constructions☆375Updated 2 years ago
- System for installing Haskell apps☆169Updated 5 years ago
- Haskell JIT☆184Updated 5 years ago
- ☆98Updated 7 years ago
- Repository for collaborative Haskell documentation☆208Updated 2 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆367Updated last year
- ☆116Updated 9 years ago
- Slides from talks that I give☆294Updated last year
- The haskell network stack☆115Updated 7 years ago
- TLS/SSL implementation in haskell☆406Updated this week
- Jump start your Haskell development☆156Updated 8 years ago
- Cloud Haskell core libraries☆717Updated 3 weeks ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- Notes and files from HaskellerZ meetups.☆212Updated 5 years ago
- Compositional pipelines☆490Updated 2 years ago
- LTS Haskell build plans☆159Updated this week
- OwnCloud for owls done via The Microservice Architecture☆236Updated 7 years ago
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…☆139Updated 3 years ago
- Anonymous records☆248Updated 5 years ago
- The Ivory EDSL☆396Updated 4 years ago
- Developer tools for Haskell☆250Updated 6 months ago