Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for calculus standard ml
calculus
x
standard-ml
x
7 search results found
Plt
⭐
5,018
Programming Language Theory λΠ
Et Lang
⭐
26
ET (IPL) language interpreters and literature
Lamb
⭐
19
A statically typed and lazy evaluated implementation of Lambda Calculus.
Sequoia
⭐
13
Design, play with, and analyze sequent calculus proof systems.
Sequents
⭐
11
Proof search for intuitionistic propositional logic using Dyckhoff's LJT.
Moa
⭐
8
Multi-dimentional array calculus in Standard ML
Lambemacs
⭐
7
capybara themed Emacs lambda calculus machine
Related Searches
Lambda Functions Calculus (377)
Haskell Calculus (190)
Standard Ml Sml (183)
Python Calculus (176)
Mathematics Calculus (170)
Machine Learning Standard Ml (163)
Language Standard Ml (37)
Functional Programming Standard Ml (28)
Programming Standard Ml (26)
Types Standard Ml (24)
1-7 of 7 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.