Awesome Open Source

Programming Languages

Search results for programming language standard ml

programming-language x

8 search results found

Programming Language Theory λΠ

CakeML: A Verified Implementation of ML

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

TiML: A Functional Programming Language with Time Complexity

Tapl Sml ⭐ 26

Accompanying code for "Types and Programming Languages", ported to Standard ML

Unitn Linguaggi Programmazione Sml ⭐ 23

Repository contenente esami con soluzione proposti durante lo sbarramento dell'esame di Programmazione Funzionale (prof Kuper).

Sml Compiler ⭐ 22

A compiler for Standard ML, somewhat

The MLPolyR programming language, revived

The L10 Logic Programming Language

Radical Julia ⭐ 10

Radical ideas for the Julia language.

Mpl Solutions ⭐ 8

Solutions for the exercises included in the book "Modern Programming Languages: A Practical Approach", by Adam Brooks Webber

Related Searches

C Plus Plus Programming Language (830)

Python Programming Language (779)

C Programming Language (667)

Javascript Programming Language (590)

Java Programming Language (544)

Standard Ml Sml (183)

Machine Learning Standard Ml (163)

Programming Language Types (161)

Language Standard Ml (37)

Functional Programming Standard Ml (28)

1-8 of 8 search results

Privacy | About | Terms | Follow Us On Twitter

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