Awesome Open Source

Programming Languages

Search results for haskell calculus

79 search results found

Haskell Resources ⭐ 824

A List of Foundational Haskell Papers

Cedille ⭐ 305

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Compiler ⭐ 186

The adventures of a Haskell compiler

Elsa is a lambda calculus evaluator

Glambda ⭐ 168

The home of the Glamorous Glambda interpreter

Book Reviews ⭐ 137

A small and expressive dependently typed language

LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming

Lambdapi ⭐ 86

Dependently Typed Lambda Calculus in Haskell

The LVish Haskell library

A lambda calculus to explore type-directed program synthesis.

Make a lambda calculus.

Nano Agda ⭐ 64

Tiny type-checker with dependent types

Unbound Generics ⭐ 55

Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)

[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.

Mikrokosmos ⭐ 52

(λ) Educational lambda calculus interpreter

Type Theory Compiler ⭐ 38

Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.

Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

Cλash/Haskell FPGA-based SKI calculus evaluator

FEECa: Finite Element Exterior Calculus in Haskell

Calc Comp ⭐ 27

Coq proofs for the paper "Calculating Correct Compilers"

Byohc Workshop ⭐ 27

BYOHC workshop 活動記錄

Logic Explorer - customizable proof construction tool for sequent calculi

Lamdu Calculus ⭐ 19

An extended typed Lambda Calculus

a library for experimental linear lambda calculus

Haskell implementation of nominal datatypes and functions

Generic Ads ⭐ 19

Generalized Authenticated Data Structures

Join Language ⭐ 17

Haskell Join-calculus DSL

PolyRPC, A multi-tier functional programming language

Functional Guy ⭐ 15

functional programming guild

🌲 Logic puzzle game based on the lambda calculus

Sessions In Haskell ⭐ 13

Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"

An untyped lambda calculus interpreter

The modular protocol framework based on Universal Composability

Betty Book Haskell Sessions ⭐ 12

Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).

A toy symbolic algebra / calculus library in Haskell

Collection of my talks

Derivation Machine ⭐ 11

Propositional calculus in Haskell

Automated theorem prover for a linear logic-based calculus for molecular biology.

px is an experimental, typed lambda calculus for _

Types and Programming Languages (TAPL)

Lambda Pi Constraint ⭐ 10

Implicitcalculus ⭐ 9

Interpreter of Implicit Calculus

Sometimes when I feel sad I implement a dependently typed lambda calculus.

The guarded λ-calculus

Studyhaskell ⭐ 8

Study Haskell in a group setting

Tools for the LOTOS process calculus

A simple lambda calculus reducer

Church Turing ⭐ 7

A converter between the lambda calculus and Turing machines in Haskell

Haskellcourse ⭐ 7

Haskell Holes Th ⭐ 7

TIP solver for simply typed lambda calculus. Can automatically infer code from type definitions. (TemplateHaskell)

Simple Calculus In Haskell With Typechecker And Parser ⭐ 7

Iocularia ⭐ 7

Haskell calculus

Lk Proof Assistant ⭐ 7

Simple Proof assistant for LK Calculus (First-Order logic)

A Lambda Calculus interpreter

Lambdalex ⭐ 7

Lambda Calculus-Haskell translator, built with Lex and Yacc.

Join Interpreter Distributed ⭐ 7

Interpreter for a Join Calculus DSL (Join-Language) backed by a DHT

Lambdacalc ⭐ 7

Lambda Calculus Tools and Interpreter written in Haskell

Mock A Mockingbird ⭐ 7

My answers to Raymond Smullyan's "To Mock a Mockingbird" combinator puzzles, including a solver in Haskell

Unnamed Project ⭐ 6

A toy STLC implementation.

Lambda Calculus Java ⭐ 6

Combinators and Lambda Calculus in Java

A language with more dynamism, more power, more simplicity.

Proof checker for sequent calculus proofs

Lfc Haskell ⭐ 6

🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects

A simple dependently typed language based on the Calculus of Constructions.

Lambdacalculusinterpreters ⭐ 6

Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.

Capabilities ⭐ 6

Capability Calculus for typed memory management [WIP]

Untyped Lambda Calculus parser & evaluator.

Simple Lambda Calculus Interpreter

Scheme Dep ⭐ 5

A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"

An interpreter for the untyped lambda calculus

Plan recognition system based on the situation calculus and action language Golog, written in Haskell

Lambdacalculus ⭐ 5

A library for lambda calculus with browser client

Logicexperiments ⭐ 5

Proof of concept prover for a restricted sequent calculus

Slope Field ⭐ 5

visualize slope field of mathematical functions

Hassle + A Lambda Calculus tool suite and plaything.

The Jebus Lambda Calculus Interpreter

Lambda Mu Mu Calculus ⭐ 5

Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).

Related Searches

Haskell Ghc (1,289)

Types Haskell (1,028)

Language Haskell (853)

Haskell Functional Programming (811)

Haskell Monad (681)

Haskell Hackage (574)

Haskell Stack (554)

Haskell Programming (549)

Haskell Bindings (444)

Javascript Haskell (398)

1-79 of 79 search results

Privacy | About | Terms | Follow Us On Twitter

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