Awesome Open Source

Programming Languages

Search results for scala type inference

type-inference x

13 search results found

Potigol ⭐ 242

Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners

A general monad for managing stacking effects

Tapl Scala ⭐ 161

Code from the book "Types and Programming Languages" in Scala

Mlscript ⭐ 124

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

Static analysis using data-flow and type inference for PHP applications - Implemented in Scala

Paperdoll ⭐ 49

Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf

Lambdanet ⭐ 42

Probabilistic Type Inference using Graph Neural Networks

Type Inference By Example ⭐ 36

A series of down-to-earth articles on implementing type inference

Scala Implicits ⭐ 15

Implicit metaprogramming tutorial for Scala

Mlstruct ⭐ 11

Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"

Sbt Ynolub ⭐ 9

Jscfa Prototype ⭐ 6

Abstract Interpreter for JavaScript with perfect call/return matching.

Scalafix Noinfer ⭐ 6

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)

Docker Scala (728)

1-13 of 13 search results

Privacy | About | Terms | Follow Us On Twitter

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