lptk Goto Github PK

aggregate

Companion repository to the `Dual to Iterator' blog post

awesome-scala

A community driven list of useful Scala libraries, frameworks and software.

better-java

Resources for writing modern Java

boilerless

Beautiful Syntax for Sealed Class Hierarchies

boilerless-example

Example usage of github.com/LPTK/Boilerless

caketests

cats

Lightweight, modular, and extensible library for functional programming.

cayman

Cayman is a Jekyll theme for GitHub Pages

collection-strawman

Experimenting with Scala Collections designs for Scala 2.13

csrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

cssinterpreter

diql

DIQL: Data Intensive Query Language

discrete-scroll

Fix for OS X's scroll wheel problem

dot-calculus

Formalization of the Dependent Object Types (DOT) calculus

dotty

Research platform for new language concepts and compiler technologies for Scala.

dotty-cats-example-project

Example sbt project that compiles using Dotty with cats as a dependency

dotty-example-project

An example sbt project that compiles using Dotty

economic_simulations

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

fastparse

Writing Fast Parsers Fast in Scala

helium

The Helium compiler, Helium-as-a-library, and the texthint interpreter

icfp2020-captions

icfp2020-papers

ICFP 2020 papers. Crowd-sourced

intellij-scala

Scala plugin for IntelliJ IDEA

jekyll-xixia

A Jekyll theme.

jupyter-scala

Lightweight Scala kernel for Jupyter / IPython 3

liquidstory

Second year undergrad CS project

mill

Your shiny new Scala build tool!

mlscript

Principal Type Inference in a Boolean Algebra of Structural Types

mlsub

Prototype type inference engine