seanjames777 / SML-Language-DefinitionLinks
Resources for Standard ML in Sublime Text 2, including syntax highlighting, a build system, and snippets.
☆49Updated 8 years ago
Alternatives and similar repositories for SML-Language-Definition
Users that are interested in SML-Language-Definition are comparing it to the libraries listed below
Sorting:
- Different Implementations of Norvig's spellchecker☆38Updated 10 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 12 years ago
- Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding☆46Updated 9 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 8 years ago
- Haskell language support for Atom☆72Updated 3 years ago
- A clone of Chips Challenge in Haskell☆143Updated 10 years ago
- an implementation of Evolution for a course on Sw Dev☆10Updated 9 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- Haskell implementations of various ML algorithms.☆57Updated 11 years ago
- ☆50Updated 12 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Updated 10 years ago
- Try Haskell☆192Updated 2 years ago
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆56Updated 8 years ago
- notes on where to find Haskell tutorials and tips to complete them☆119Updated 6 years ago
- Attempt to port All About Monads to HaskellWiki☆54Updated 7 years ago
- Accepted papers for Haskell 2014☆52Updated 9 years ago
- Accepted papers for POPL 2015☆66Updated 9 years ago
- A fork of jhc. And also a Haskell compiler.☆135Updated 6 years ago
- Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.☆15Updated 9 years ago
- Semantic Version Control mk II.☆37Updated 5 years ago
- Convert Markdown to HTML, with XSS protection☆72Updated 3 years ago
- ☆21Updated 5 years ago
- The Spire Programming Language☆59Updated 10 years ago
- Code from the book "Purely Functional Data Structures" by Chris Okasaki (both original and my own solutions to the exercises, in Haskell)☆35Updated 15 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 9 years ago
- Tool to build a relocatable GHC for Mac OS X☆120Updated 9 years ago
- Edit distance library for Haskell☆27Updated 8 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14Updated 10 years ago