Awesome Open Source

Programming Languages

Search results for language standard ml

11 search results found

Programming Language Theory λΠ

The Ur/Web programming language

A language server for Standard ML.

Implementing Scott Wlaschin's “Domain Modeling Made Functional” in Rust, Elm, F♯, and ReasonML

l1c is a simple formally verified compiler for a while language

Tapl Sml ⭐ 26

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

The MLPolyR programming language, revived

The Diderot language compiler

Racket Sml ⭐ 16

The L10 Logic Programming Language

Radical Julia ⭐ 10

Radical ideas for the Julia language.

The Kuru Programming Language

Mpl Solutions ⭐ 8

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

Sml Analyzer ⭐ 8

An experimental language server for SomewhatML

Related Searches

Python Language (4,480)

Javascript Language (4,116)

Java Language (2,399)

C Plus Plus Language (1,971)

Php Language (1,760)

Language Translation (1,672)

C Language (1,627)

Golang Language (1,282)

Typescript Language (1,185)

Ruby Language (1,107)

1-11 of 11 search results

Privacy | About | Terms | Follow Us On Twitter

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