Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Haskell Calculus Open Source Projects

Open source projects categorized as Haskell Calculus
Categories > Mathematics > Calculus
Haskell Resources ⭐ 824
A List of Foundational Haskell Papers
most recent commit 2 years ago
Cedille ⭐ 305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
most recent commit 3 years ago
Compiler ⭐ 186
The adventures of a Haskell compiler
most recent commit 4 months ago
Elsa ⭐ 172
Elsa is a lambda calculus evaluator
total releases 8most recent commit 7 months ago
Glambda ⭐ 168
The home of the Glamorous Glambda interpreter
total releases 3most recent commit 5 years ago
Book Reviews ⭐ 137
most recent commit 8 years ago
Kei ⭐ 125
A small and expressive dependently typed language
most recent commit 4 years ago
Ling ⭐ 109
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
most recent commit a year ago
Lambdapi ⭐ 86
Dependently Typed Lambda Calculus in Haskell
most recent commit 3 years ago
Lvars ⭐ 80
The LVish Haskell library
most recent commit a year ago
Path ⭐ 79
A lambda calculus to explore type-directed program synthesis.
most recent commit 4 years ago
Malc ⭐ 69
Make a lambda calculus.
most recent commit 3 years ago
Nano Agda ⭐ 64
Tiny type-checker with dependent types
most recent commit 10 years ago
Unbound Generics ⭐ 55
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
total releases 18most recent commit 7 months ago
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
Mikrokosmos ⭐ 52
(λ) Educational lambda calculus interpreter
total releases 7most recent commit 3 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
Haski ⭐ 30
Cλash/Haskell FPGA-based SKI calculus evaluator
most recent commit 8 years ago
Feeca ⭐ 27
FEECa: Finite Element Exterior Calculus in Haskell
most recent commit 4 years ago
Calc Comp ⭐ 27
Coq proofs for the paper "Calculating Correct Compilers"
most recent commit 4 months ago
Byohc Workshop ⭐ 27
BYOHC workshop 活動記錄
most recent commit 8 years ago
Logix ⭐ 20
Logic Explorer - customizable proof construction tool for sequent calculi
most recent commit 2 years ago
The 9 Latest Releases In Haskell Calculus Open Source Projects
Unbound Generics ⭐ 55
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
total releases 18latest release April 27, 2023most recent commit 7 months ago
Elsa ⭐ 172
Elsa is a lambda calculus evaluator
total releases 8latest release September 29, 2022most recent commit 7 months ago
Nominal ⭐ 19
Haskell implementation of nominal datatypes and functions
latest release August 11, 2020most recent commit 4 years ago
Zsyntax ⭐ 10
Automated theorem prover for a linear logic-based calculus for molecular biology.
total releases 1latest release December 15, 2018most recent commit 10 months ago
Mikrokosmos ⭐ 52
(λ) Educational lambda calculus interpreter
total releases 7latest release August 01, 2018most recent commit 3 years ago
Glambda ⭐ 168
The home of the Glamorous Glambda interpreter
total releases 3latest release November 27, 2017most recent commit 5 years ago
Slope Field ⭐ 5
visualize slope field of mathematical functions
total releases 1latest release October 09, 2017most recent commit 7 years ago
Eq ⭐ 7
Haskell calculus
total releases 7latest 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.