Alternatives and similar repositories for SML-Language-Definition

Users that are interested in SML-Language-Definition are comparing it to the libraries listed below

• mfelleisen / Evolution
  an implementation of Evolution for a course on Sw Dev
  ☆10Updated 9 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• AccelerateHS / accelerate-cuda
  DEPRECATED: Accelerate backend for NVIDIA GPUs
  ☆56Updated 8 years ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 9 years ago
• facebookarchive / hs-zstd
  Bindings to the Zstandard library to make it usable from the Haskell programming language.
  ☆46Updated 8 years ago
• bos / llvm
  Haskell bindings to the LLVM compiler infrastructure project.
  ☆107Updated 5 years ago
• ajtulloch / haskell-ml
  Haskell implementations of various ML algorithms.
  ☆57Updated 11 years ago
• hkuplg / fcore
  Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding
  ☆46Updated 9 years ago
• atom-haskell / language-haskell
  Haskell language support for Atom
  ☆72Updated 3 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆49Updated 2 years ago
• egonSchiele / chips
  A clone of Chips Challenge in Haskell
  ☆143Updated 10 years ago
• jfdm / idris-config
  Parsers for various configuration files written in Idris.
  ☆20Updated 7 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 7 years ago
• snoyberg / markdown
  Convert Markdown to HTML, with XSS protection
  ☆72Updated 3 years ago
• gregorulm / h2048
  An implementation of the game 2048 in Haskell
  ☆89Updated 11 years ago
• bryangarza / spectre
  Convert images to audio, visible with a spectrograph. Uses Inverse Fast Fourier Transform.
  ☆19Updated 10 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• khanage / heineken
  A general build tool for haskell projects inspired by leiningen
  ☆16Updated 10 years ago
• cofinalsubnets / wisp
  small-but-featureful embeddable lisp interpreter written in haskell.
  ☆115Updated 12 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 8 years ago
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 10 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆166Updated 4 years ago
• jswebtools / language-ecmascript
  Haskell library: ECMAScript parser, pretty-printer and additional tools
  ☆46Updated last year
• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆135Updated 6 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 9 years ago
• bmsherman / haskell-matlab
  Matlab bindings and interface for Haskell
  ☆13Updated 5 years ago
• aaronlevin / haskell-shopify
  A type-safe Haskell client for the Shopify API.
  ☆12Updated 10 years ago
• bhurt / presentations
  A repo for my presentations.
  ☆28Updated 7 years ago
• beeramtheman / 99haskell
  Live Haskell coding problems
  ☆39Updated 9 years ago