stewy33 / merchant

Related projects ⓘ

Alternatives and complementary repositories for merchant

• juliensf / mercury-json
  A Mercury JSON library.
  ☆20Updated 5 months ago
• juliensf / mercury-csv
  A Mercury CSV library.
  ☆11Updated 9 months ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆162Updated 2 months ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• UU-ComputerScience / uhc
  ☆136Updated 3 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆41Updated 4 years ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆87Updated this week
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆43Updated 5 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆47Updated 4 years ago
• bscarlet / llvm-general
  Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)
  ☆132Updated 7 years ago
• schani / unlambdascheme
  A Scheme to Unlambda compiler
  ☆17Updated 7 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆29Updated 6 months ago
• nfomon / shok
  shok command shell
  ☆144Updated 9 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆66Updated 10 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 3 years ago
• ats-lang / ats-lang.github.io
  For hosting certain parts of http://www.ats-lang.org
  ☆26Updated last year
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆117Updated 5 years ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 12 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆249Updated 8 years ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated 2 weeks ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 9 years ago
• gallettilance / magnificATS
  Collection of ATS goodness
  ☆33Updated 5 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆32Updated 4 years ago
• wilbowma / cur
  A less devious proof assistant
  ☆222Updated last year
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 3 weeks ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 4 years ago