Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Search results for types standard ml

standard-ml x
types x
5 search results found
Plt ⭐ 5,018
Programming Language Theory λΠ
A Tour Of Standard Ml ⭐ 40
A Tour of Standard ML (in the style of A Tour of Go)
Isabelle Hott ⭐ 29
An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
Et Lang ⭐ 26
ET (IPL) language interpreters and literature
Tapl Sml ⭐ 26
Accompanying code for "Types and Programming Languages", ported to Standard ML
Mixml ⭐ 16
MixML prototype interpreter
Skalpel ⭐ 10
A type error slicer for Standard ML
Radical Julia ⭐ 10
Radical ideas for the Julia language.
Higher Standard ⭐ 10
Higher kinded polymorphism in SML
Mlcomp ⭐ 6
A Compiler and Type Inference System for a subset of Standard ML called Small.
Isabelle Spartan ⭐ 6
A dependent type theory logic for Isabelle
Proglr ⭐ 6
Proglr: GLR Parser Generator for Standard ML
Related Searches
Javascript Types (8,178)
Typescript Types (2,606)
Python Types (2,536)
Php Types (1,921)
Java Types (1,598)
C Plus Plus Types (1,282)
Golang Types (1,257)
C Sharp Types (1,177)
Plugin Types (1,152)
Json Types (1,128)
1-5 of 5 search results
Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source.  All rights reserved.