Awesome Open Source

Programming Languages

Search results for scala lambda calculus

lambda-calculus x

8 search results found

Curryhoward ⭐ 232

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

Study of language design and implementation.

Lambda Scala ⭐ 32

Type level lambda calculus in Scala

Purity Project ⭐ 12

Contains realisations of common-used math functions and classical algorithms, written in Scala's pure-functional style.

Compilers ⭐ 10

A place for me to learn/ experiment with interpreters/compilers

Lambda Scala3 ⭐ 10

Type-level lambda calculus in Scala 3

Nbe A Tutorial ⭐ 6

Checking Dependent Types with Normalization by Evaluation

Lambda Scala ⭐ 5

Implementation of Lambda Calculus in Scala

Related Searches

Scala Sbt (4,178)

Scala Spark (3,279)

Scala Akka (2,120)

Java Scala (1,794)

Scala Play Framework (1,309)

Plugin Scala (1,079)

Scala Kafka (969)

Scala Functional Programming (942)

Scala Scalajs (887)

Scala Apache (705)

1-8 of 8 search results

Privacy | About | Terms | Follow Us On Twitter

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