Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Language Calculus Open Source Projects

Open source projects categorized as Language Calculus
Categories > Mathematics > Calculus
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit 9 months ago
Expreduce ⭐ 360
An experimental computer algebra system written in Go
total releases 1most recent commit 8 months ago
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.
most recent commit a year ago
Lc Js ⭐ 146
A λ-calculus interpreter written in JavaScript
most recent commit 7 years ago
Book Reviews ⭐ 137
most recent commit 8 years ago
Study ⭐ 60
Study of language design and implementation.
dependent packages 2total releases 17most recent commit 4 years agonpm @xieyuheng/cicada} Downloads
Aith ⭐ 54
[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.
most recent commit 4 months ago
Shen C ⭐ 54
A C implementation of the Shen programming language
most recent commit 2 years ago
Type Theory Compiler ⭐ 38
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
most recent commit 5 years ago
Lplzoo ⭐ 31
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
most recent commit 3 years ago
Pi Calculus ⭐ 24
total releases 4most recent commit 10 years ago
Kilns ⭐ 17
An experimental programming language based on the kell calculus.
most recent commit 5 months ago
Polyrpc ⭐ 16
PolyRPC, A multi-tier functional programming language
most recent commit 2 years ago
Cake ⭐ 13
An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
most recent commit 10 years ago
Compositional Typing Inference ⭐ 10
Compositional inference of principal typings for simple lamda-calculus based language written in C++
most recent commit 8 years ago
Implicitcalculus ⭐ 9
Interpreter of Implicit Calculus
most recent commit 9 years ago
Tilec ⭐ 9
Sometimes when I feel sad I implement a dependently typed lambda calculus.
most recent commit 4 years ago
Notes ⭐ 8
Just notes of my own
most recent commit 8 years ago
Repl In Browser ⭐ 7
Implementation of a language interpreter in the browser, using js_of_ocaml.
most recent commit 6 years ago
L Lang Parser Rs ⭐ 7
A parser for a toy strict untyped λ-calculus language called L-lang.
most recent commit 3 years ago
Kframework ⭐ 7
RChain Rholang Implementation & Materials for learning K Framework
most recent commit 4 years ago
Haskellcourse ⭐ 7
most recent commit 9 years ago
Join Interpreter Distributed ⭐ 7
Interpreter for a Join Calculus DSL (Join-Language) backed by a DHT
most recent commit 5 years ago
The 3 Latest Releases In Language Calculus Open Source Projects
Expreduce ⭐ 360
An experimental computer algebra system written in Go
total releases 1latest release September 07, 2023most recent commit 8 months ago
Study ⭐ 60
Study of language design and implementation.
dependent packages 2total releases 17latest release October 24, 2020most recent commit 4 years agonpm @xieyuheng/cicada} Downloads
Pi Calculus ⭐ 24
total releases 4latest release January 26, 2015most recent commit 10 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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