Awesome Open Source

Programming Languages

Search results for programming language sml

programming-language x

8 search results found

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.

Reviews ⭐ 242

Reviewing some online CS courses I took

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

SimpleScript, A Simpler Programming Language (WIP)

a statically-typed concatenative programming language inspired by sml/cat

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 Sml (121)

Assembly Programming Language (77)

Language Sml (43)

1-8 of 8 search results

Privacy | About | Terms | Follow Us On Twitter

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