Resources for Standard ML in Sublime Text 2, including syntax highlighting, a build system, and snippets.
☆49Jun 19, 2017Updated 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:
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- Archived materials related to Homotopy Type Theory.☆12Apr 24, 2012Updated 13 years ago
- An implementation of Functional Reactive Programming☆41Mar 2, 2015Updated 11 years ago
- ☆11May 18, 2016Updated 9 years ago
- ☆13Feb 21, 2026Updated last week
- Haskell subset compiled to the Beam machine.☆42Sep 1, 2014Updated 11 years ago
- playing with hyperfunctions☆16May 2, 2021Updated 4 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Dec 24, 2018Updated 7 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Jul 21, 2017Updated 8 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Jan 15, 2023Updated 3 years ago
- JS AST rewriter for tail call elimination☆135Jul 24, 2013Updated 12 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Aug 14, 2014Updated 11 years ago
- Try Idris☆35Sep 7, 2015Updated 10 years ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 8 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Mar 31, 2015Updated 10 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- A playground for type theory implementations in Racket☆20Dec 2, 2015Updated 10 years ago
- A compiler for Coq☆26Feb 22, 2013Updated 13 years ago
- Logical relations proof in Agda☆27May 27, 2015Updated 10 years ago
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- Purely functional graph data structure☆24Jul 30, 2022Updated 3 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Jan 15, 2018Updated 8 years ago
- SML Parser Combinator Library☆28Apr 30, 2016Updated 9 years ago
- Web site for standardml.org.☆36Oct 17, 2023Updated 2 years ago
- Tuple data type and utility functions☆26Sep 17, 2022Updated 3 years ago
- ☆29Sep 14, 2015Updated 10 years ago
- TODO☆23Oct 10, 2015Updated 10 years ago
- Reference type checker for the Lean theorem prover☆63Mar 17, 2017Updated 8 years ago
- Exercism exercises in Standard ML.☆28Feb 19, 2026Updated 2 weeks ago
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years ago
- A library for .NET development with the VersionOne REST API.☆10Apr 14, 2023Updated 2 years ago
- A Racket library for interacting with Idris over the IDE protocol☆31Nov 10, 2017Updated 8 years ago
- A Scala-style magic function application form☆43Jul 31, 2022Updated 3 years ago
- second-order abstract syntax☆31Sep 15, 2021Updated 4 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆72Jun 2, 2015Updated 10 years ago
- PSO Explorer Helm Chart☆11Jun 6, 2024Updated last year
- Basic example using Clarifai custom training.☆10Oct 17, 2015Updated 10 years ago
- django-all-access is a reusable application for user registration and authentication from OAuth 1.0 and OAuth 2.0 providers such as Twitt…☆61Sep 6, 2022Updated 3 years ago
- PowerShell module that provides some functionality to facilitate automating backup actions of a FortiGate device over SSH. This module al…☆10Feb 10, 2021Updated 5 years ago