Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for scala calculus
calculus
x
scala
x
16 search results found
Chymyst Core
⭐
146
Declarative concurrency in Scala - The implementation of the chemical machine
Study
⭐
60
Study of language design and implementation.
Galileo
⭐
59
Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool
Lambda Scala
⭐
32
Type level lambda calculus in Scala
Lambdacalculus
⭐
24
Scala implementation of a lambda calculus interpreter
Dot Calculus
⭐
18
Adding extensions to DOT calculus
Mesa
⭐
14
Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.
Purity Project
⭐
12
Contains realisations of common-used math functions and classical algorithms, written in Scala's pure-functional style.
Talks
⭐
11
Collection of my talks
Oled
⭐
11
An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
Systemfr
⭐
8
System FR: Formalized Foundations for Stainless
Dire
⭐
7
Implementation of a Distributed Reasoner for Description Logic in Scala (diploma/masters thesis)
Fpa Course Intro
⭐
7
FPA Introduction Course
Lambda Scala
⭐
5
Implementation of Lambda Calculus in Scala
Criojo
⭐
5
A Chemical Programming Language for Orchestrating Services
Chymyst Book
⭐
5
Concurrency in Reactions: Declarative multicore programming 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-16 of 16 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.