Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for programming language calculus
calculus
x
programming-language
x
12 search results found
Plt
⭐
5,018
Programming Language Theory λΠ
Online Courses Learning
⭐
318
Contains the online course about Data Science, Machine Learning, Programming Language, Operating System, Mechanial Engineering, Mathematics and Robotics provided by Coursera, Udacity, Linkedin Learning, Udemy and edX.
Cedille
⭐
305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Lc Js
⭐
146
A λ-calculus interpreter written in JavaScript
Awesome Functional Studies
⭐
143
A curated list of functional programming resources to study the fp paradigm
Lambdapi
⭐
86
Dependently Typed Lambda Calculus in Haskell
Minitt Rs
⭐
68
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
Cs704
⭐
52
CS 704 course website - Principles of Programming Languages
Moniker
⭐
42
Automagical variable binding library for Rust
Types And Programming Languages
⭐
27
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Kilns
⭐
17
An experimental programming language based on the kell calculus.
Polyrpc
⭐
16
PolyRPC, A multi-tier functional programming language
Snail
⭐
11
[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.
Dblib Linear
⭐
10
Formalisation of the linear lambda calculus in Coq
Tapl
⭐
10
Types and Programming Languages (TAPL)
Isabelle Lambda Calculus
⭐
9
A formal definition and verification of System F. To be extended to System Fc
Lambdacalculusinterpreters
⭐
6
Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.
Sms
⭐
5
Symbolic Math System scripting language
Intstar
⭐
5
A computation framework for modelling complex adaptive hierarchical systems
Lomda
⭐
5
An interpreted programming language with mathematical functionality.
Related Searches
C Plus Plus Programming Language (830)
Python Programming Language (779)
C Programming Language (667)
Javascript Programming Language (590)
Java Programming Language (544)
Lambda Functions Calculus (377)
Haskell Programming Language (270)
Haskell Calculus (190)
Python Calculus (176)
Mathematics Calculus (170)
1-12 of 12 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.