rejuvyesh / papers

Related projects ⓘ

Alternatives and complementary repositories for papers

• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 10 years ago
• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 4 years ago
• haskell / haskell-snippets
  Official collection of YASnippet Haskell snippets for Emacs.
  ☆12Updated 3 years ago
• depressed-pho / HsOpenSSL
  OpenSSL binding for Haskell
  ☆20Updated 4 years ago
• chrisdone-archive / chrisdone-xmonad
  My xmonad configuration.
  ☆33Updated 9 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago
• archhaskell / cblrepo
  Tool to simplify managing a consistent set of Haskell packages for distributions.
  ☆38Updated 6 years ago
• GaloisInc / golang
  Parser and type analysis for the Go programming language
  ☆12Updated last year
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago
• jgm / gitit2
  A reimplementation of gitit in Yesod
  ☆95Updated 6 years ago
• EarlGray / omit
  A self-hosting subset of git functionality in 500 lines
  ☆13Updated 6 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 9 years ago
• parsonsmatt / lambda
  An exploration and implementation of the lambda calculus.
  ☆12Updated 8 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• davean / waldo
  A small Haskell server for generating visual stories based on some ascertainable data about the requester.
  ☆57Updated 12 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• jhickner / hobbes
  A cross-platform file activity monitor
  ☆72Updated 8 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆32Updated 9 years ago
• yi-editor / yi-rope
  Rope data structure used by Yi
  ☆19Updated 6 years ago
• mitchellwrosen / dohaskell
  Tagged Haskell learning resources index
  ☆22Updated 8 years ago
• chicken-mobile / android-chicken
  files to build chicken for android
  ☆18Updated 10 years ago
• andreasdotorg / pdfparser
  ☆23Updated 13 years ago
• nominolo / atto-lisp
  Efficient parsing and encoding of Lisp expressions for Haskell.
  ☆24Updated 4 years ago
• mpickering / hlint-refactor-mode
  Emacs bindings for hlint's --refactor option
  ☆27Updated 5 years ago
• tonyfischetti / starlight
  A practical application launcher for impractical people
  ☆12Updated 11 months ago