GaloisInc / haskell-tor

Related projects ⓘ

Alternatives and complementary repositories for haskell-tor

• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 4 years ago
• commercialhaskell / jump
  Jump start your Haskell development
  ☆158Updated 8 years ago
• mikeizbicki / HerbiePlugin
  GHC plugin that improves Haskell code's numerical stability
  ☆191Updated 9 years ago
• fpco / mezzohaskell
  Community-driven book on intermediate Haskell
  ☆297Updated 9 years ago
• jwiegley / coq-pipes
  ☆99Updated 6 years ago
• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆365Updated last year
• mietek / halcyon
  System for installing Haskell apps
  ☆168Updated 5 years ago
• commercialhaskell / lts-haskell
  LTS Haskell build plans
  ☆159Updated this week
• commercialhaskell / commercialhaskell
  A special interest group for companies and individuals interested in commercial usage of Haskell
  ☆452Updated last year
• sdiehl / tinyjit
  Haskell JIT
  ☆183Updated 4 years ago
• imeckler / mote
  ☆116Updated 9 years ago
• jlouis / combinatorrent
  A bittorrent client written in Haskell
  ☆234Updated 7 years ago
• haskell-tools / haskell-tools
  Developer tools for Haskell
  ☆249Updated 4 months ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆67Updated 14 years ago
• haskell-tls / hs-tls
  TLS/SSL implementation in haskell
  ☆404Updated this week
• GaloisInc / HaNS
  The haskell network stack
  ☆115Updated 6 years ago
• commercialhaskell / haskelldocumentation
  Repository for collaborative Haskell documentation
  ☆209Updated 2 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated last year
• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆375Updated 2 years ago
• mikeizbicki / subhask
  Type safe interface for working in subcategories of Hask
  ☆418Updated 5 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 6 years ago
• wyager / Neks
  A dead simple networked key/value store
  ☆115Updated 9 years ago
• Gabriella439 / pipes
  Compositional pipelines
  ☆489Updated 2 years ago
• fpco / ide-backend
  ide-backend drives the GHC API to build, query, and run your code
  ☆120Updated 8 years ago
• haskus / haskus-system
  Moved to https://github.com/haskus/packages
  ☆348Updated 4 months ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆140Updated 8 years ago
• ekmett / trifecta
  Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
  ☆298Updated 4 months ago
• GaloisInc / ivory
  The Ivory EDSL
  ☆396Updated 4 years ago
• sdiehl / zurihac-crypto
  Small minimal examples of modern cryptographic techniques in Haskell
  ☆79Updated 4 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆409Updated 8 years ago