softmechanics / missingpy

Related projects ⓘ

Alternatives and complementary repositories for missingpy

• haskell / base64-bytestring
  Fast base64 encoding and decoding for Haskell.
  ☆45Updated last year
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆47Updated last month
• PatrickMaier / HdpH
  Haskell distributed parallel Haskell
  ☆38Updated 7 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 5 years ago
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆44Updated last year
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated 5 months ago
• skogsbaer / hscurses
  ncurses binding for Haskell
  ☆61Updated 9 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆43Updated 12 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 3 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• nominolo / atto-lisp
  Efficient parsing and encoding of Lisp expressions for Haskell.
  ☆24Updated 4 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• ozataman / csv-conduit
  Flexible, fast and constant-space CSV library for Haskell using conduits
  ☆52Updated last month
• haskell / haskell-snippets
  Official collection of YASnippet Haskell snippets for Emacs.
  ☆12Updated 3 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 6 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 5 years ago
• shachaf / ghc-core
  ☆39Updated 7 years ago
• nomeata / ghc-heap-view
  Extract the heap representation of Haskell values and thunks
  ☆50Updated 10 months ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 4 years ago
• kolmodin / hinotify
  Haskell binding to inotify
  ☆30Updated 2 years ago
• flycheck / flycheck-haskell
  Improved Haskell support for Flycheck
  ☆67Updated last year
• knrafto / language-bash
  Parse and pretty-print Bash shell scripts
  ☆35Updated 3 months ago
• acid-state / safecopy
  An extension to Data.Serialize with built-in version control
  ☆60Updated 5 months ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 5 months ago
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆62Updated 2 years ago
• ekmett / semigroups
  Haskell 98 semigroups
  ☆62Updated last year
• thoughtpolice / strict-ghc-plugin
  A plugin for GHC to turn Haskell into a strict language
  ☆27Updated 12 years ago
• mietek / agda-intro
  Mirror of Conor McBride’s 2011 Agda course materials
  ☆11Updated 5 years ago