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:
- ☆73Updated 11 years ago
- Different Implementations of Norvig's spellchecker☆38Updated 10 years ago
- Accepted papers for POPL 2015☆66Updated 9 years ago
- Semantic Version Control mk II.☆37Updated 5 years ago
- The Spire Programming Language☆59Updated 10 years ago
- A blog about Coq☆10Updated 4 years ago
- ☆49Updated 8 years ago
- Gameboy Color game written in C using the GBDK.☆14Updated 10 years ago
- Accepted papers for Haskell 2014☆52Updated 9 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 10 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Updated 10 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 8 years ago
- an implementation of Evolution for a course on Sw Dev☆10Updated 9 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 8 years ago
- A fork of jhc. And also a Haskell compiler.☆134Updated 6 years ago
- Haskell language support for Atom☆72Updated 3 years ago
- Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding☆45Updated 9 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Introduction to Haskell, CS 1501 Lecture slides☆49Updated 11 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- SMACCMPilot flight controller☆32Updated 7 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 4 months ago
- XHTML combinator library☆9Updated 8 months ago
- A clone of Chips Challenge in Haskell☆142Updated 10 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- Timing attack resistant type systems☆24Updated 10 years ago
- The Dao System, a Haskell package providing a domain-specific scripting language and knowledge base designed for artificial intelligence,…☆46Updated 4 years ago
- ☆22Updated 8 years ago
- A PLT Redex implementation of Featherweight Java☆16Updated 12 years ago
- Playground for instrumenting `scalac` using AspectJ.☆43Updated 10 years ago