rejuvyesh / papers

Related projects ⓘ

Alternatives and complementary repositories for papers

• TikhonJelvis / Cow
  Semantic Version Control mk II.
  ☆37Updated 4 years ago
• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 10 years ago
• chrisdone-archive / chrisdone-xmonad
  My xmonad configuration.
  ☆33Updated 9 years ago
• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 4 years ago
• guitarvydas / vsh
  Visual SH, GRAph SH - simple visual (diagrammatic) shell
  ☆28Updated last year
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆47Updated 4 years ago
• haskell / haskell-snippets
  Official collection of YASnippet Haskell snippets for Emacs.
  ☆12Updated 3 years ago
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆96Updated this week
• MostAwesomeDude / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 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
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆59Updated 5 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 9 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• tonyg / racket-something
  Indentation-based Racket Syntax
  ☆37Updated 3 years ago
• deech / ATSPresentation
  ☆20Updated 9 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• motersen / pot
  organizes tags
  ☆23Updated 7 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆32Updated 9 years ago
• jeapostrophe / remix
  remix - a revised version of Racket
  ☆33Updated last year
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• mattmight / uiki
  A bare-bones academic wiki with LaTeX and (multi)markdown support
  ☆70Updated 9 years ago
• bergey / org-babel-diagrams
  embed haskell diagrams in emacs org-mode files
  ☆10Updated 8 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• puffnfresh / tryidris
  Try Idris
  ☆36Updated 9 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago