Alternatives and similar repositories for papers:

Users that are interested in papers are comparing it to the libraries listed below

• motersen / pot
  organizes tags
  ☆23Updated 7 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 3 years ago
• ledger / ledger4
  A rewrite of Ledger's core mathematical concepts in Haskell
  ☆44Updated 8 years ago
• tonyg / racket-something
  Indentation-based Racket Syntax
  ☆37Updated 3 years ago
• archhaskell / cblrepo
  Tool to simplify managing a consistent set of Haskell packages for distributions.
  ☆39Updated 6 years ago
• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 5 years ago
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆97Updated 5 months ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• haskell / haskell-snippets
  Official collection of YASnippet Haskell snippets for Emacs.
  ☆13Updated 4 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆274Updated 8 years ago
• silky / super-reference
  Web-based reference manager, written in Haskell.
  ☆29Updated 8 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• lathe / parendown-for-racket
  A weak opening parenthesis for Racket, good for eliminating indentation.
  ☆13Updated last month
• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 10 years ago
• fractalide / nixcrates
  DEPRECATED reads rust-lang/crates.io-index and outputs nix expressions into fractalide/nix-crates-index
  ☆15Updated 8 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆19Updated 5 years ago
• chrisdone-archive / chrisdone-xmonad
  My xmonad configuration.
  ☆33Updated 9 years ago
• jgm / filestore
  A versioning file store backed by git, darcs, or mercurial
  ☆35Updated 4 months ago
• feeley / etos
  Erlang to Scheme compiler
  ☆36Updated 13 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 2 months ago
• HaskellEmbedded / ion
  An Ivory library inspired by Atom
  ☆14Updated 8 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 10 years ago
• jwiegley / hours
  Utility for showing hours worked within a work month against a target
  ☆25Updated this week
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• NalaGinrut / guile-colorized
  colorized REPL for GNU Guile
  ☆37Updated 6 years ago