GaloisInc / gidl

Related projects ⓘ

Alternatives and complementary repositories for gidl

• brendanhay / numbersd
  Concurrent and efficient implementation of statsd in Haskell
  ☆19Updated 10 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• RyanGlScott / echo
  A cross-platform, cross-console way to handle echoing terminal input
  ☆10Updated 3 years ago
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• thsutton / rawr
  Roaring bitmaps in Haskell
  ☆13Updated 6 years ago
• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 6 years ago
• Gabriella439 / Haskell-Index-Core-Library
  Indexed Types
  ☆13Updated 2 years ago
• ku-fpg / remote-json
  JSON RPC using the remote monad
  ☆9Updated 6 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• ekmett / gc
  Poor Richard's Memory Manager
  ☆15Updated 3 years ago
• elsen-trading / pgstream
  Binary streaming library for Postgres data pipelines
  ☆18Updated 5 years ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated last year
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• NicolasDP / hop
  Command Line Tool for github's pull request reviewing
  ☆8Updated 8 years ago
• RyanGlScott / th-lift
  Derive Template Haskell's Lift class for datatypes.
  ☆13Updated last month
• valderman / shellmate
  Write type-safe shell scripts in Haskell
  ☆14Updated 4 years ago
• haskell-suite / haskell-packages
  Haskell suite library for package management and integration with Cabal
  ☆20Updated 6 years ago
• factisresearch / large-hashable
  Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms
  ☆15Updated last month
• GaloisInc / golang
  Parser and type analysis for the Go programming language
  ☆12Updated last year
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated last year
• tathougies / generic-lens
  Automatically make lenses from data structures implementing Generic
  ☆26Updated 9 years ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• sdiehl / cooking-generics
  http://www.stephendiehl.com/posts/generics.html
  ☆12Updated 8 years ago
• haskell-foundation / foundation-edge
  types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...
  ☆18Updated 7 years ago
• grebenyukaa / cmm-compiler-backend
  Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.
  ☆7Updated 9 years ago