seanjames777 / SML-Language-Definition
Resources for Standard ML in Sublime Text 2, including syntax highlighting, a build system, and snippets.
☆50Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for SML-Language-Definition
- A clone of Chips Challenge in Haskell☆142Updated 10 years ago
- Link to preprints for POPL'17 and co-located events☆101Updated 7 years ago
- Semantic Version Control mk II.☆37Updated 4 years ago
- A proof assistant.☆12Updated 8 years ago
- Different Implementations of Norvig's spellchecker☆38Updated 9 years ago
- System Fω interpreter for use in Advanced Functional Programming course☆65Updated last year
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 8 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Updated 7 years ago
- Accepted papers for POPL 2015☆67Updated 8 years ago
- A blog about Coq☆10Updated 3 years ago
- ☆73Updated 10 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 11 years ago
- an implementation of Evolution for a course on Sw Dev☆10Updated 8 years ago
- An introductory tutorial for the Coq proof assistant.☆9Updated 5 years ago
- Gameboy Color game written in C using the GBDK.☆14Updated 9 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- A book on programming languages, using Haskell☆165Updated 3 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- Haskell implementations of various ML algorithms.☆57Updated 10 years ago
- Live Haskell coding problems☆39Updated 9 years ago
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆57Updated 7 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- second-order abstract syntax☆31Updated 3 years ago
- Library classes for the Twelf Proof System☆21Updated 4 years ago