Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for definition calculus
calculus
x
definition
x
7 search results found
Stargazer
⭐
34
A simulator for visualising the evolution of π-calculus terms
Calc Comp
⭐
27
Coq proofs for the paper "Calculating Correct Compilers"
Es6 Lambda Calculus
⭐
18
Describing lambda-calculus using ES6 arrow notation
Isabelle Lambda Calculus
⭐
9
A formal definition and verification of System F. To be extended to System Fc
Glam
⭐
8
The guarded λ-calculus
Haskell Holes Th
⭐
7
TIP solver for simply typed lambda calculus. Can automatically infer code from type definitions. (TemplateHaskell)
Join Interpreter Distributed
⭐
7
Interpreter for a Join Calculus DSL (Join-Language) backed by a DHT
Related Searches
Javascript Definition (1,592)
Python Definition (981)
Typescript Definition (908)
Lambda Functions Calculus (377)
Haskell Calculus (190)
Python Calculus (176)
Mathematics Calculus (170)
1-7 of 7 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.