seanjames777 / SML-Language-Definition
Resources for Standard ML in Sublime Text 2, including syntax highlighting, a build system, and snippets.
☆49Updated 7 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
- ☆73Updated 11 years ago
- Semantic Version Control mk II.☆37Updated 4 years ago
- Scala Improvement Process☆14Updated 8 years ago
- A clone of Chips Challenge in Haskell☆142Updated 10 years ago
- ☆49Updated 12 years ago
- My solutions to exercises in the book Real World Haskell by Bryan O'Sullivan, John Goerzen & Don Stewart.☆33Updated 12 years ago
- ☆20Updated 9 years ago
- Introduction to Haskell, CS 1501 Lecture slides☆49Updated 10 years ago
- Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding☆44Updated 9 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated last year
- Different Implementations of Norvig's spellchecker☆38Updated 10 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- Accepted papers for POPL 2015☆67Updated 8 years ago
- Accepted papers for Haskell 2014☆52Updated 8 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 8 years ago
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆63Updated 5 years ago
- an implementation of Evolution for a course on Sw Dev☆10Updated 8 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 11 years ago
- Stanford CS240h Class Notes -- Functional Systems in Haskell☆27Updated 10 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆48Updated 2 years ago
- Haskell-driven, small-scale web analytics with minimal configuration.☆27Updated 8 years ago
- ☆22Updated 8 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- ☆49Updated 8 years ago
- The LVish Haskell library☆80Updated 2 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 8 years ago
- Haskell language support for Atom☆72Updated 3 years ago
- Automatically choosing fast data structures!☆38Updated 7 years ago
- Edit distance library for Haskell☆27Updated 8 years ago
- Playground for instrumenting `scalac` using AspectJ.☆43Updated 10 years ago