Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

Principled Functional Programming in Scala

Your favorite language gets closer to bare metal.

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

Compiler for the Vale programming language - http://vale.dev/

A JVM written in Scala

Code Property Graph: specification, query language, and utilities

An interactive playground for Scala

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

A Scala Kubernetes client library

A self documenting DSL built on http4s

A mini Scala utility library

A python-ish pure and total functional programming language

Cryptographic primitives for Scala

A Scala implementation of parsing with derivatives

algebraic manipulation of regular expressions

CM-Well - a data warehouse for your knowledge graph

Symbolic-execution-based verifier for the Viper intermediate verification language.

DSL in Scala for Constraint Solving with Z3 SMT Solver

Useless embedded DSL and monadic interpreter for BASIC.

dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.

A compiler for an Ada-like language

Relational Programming DSL in Scala. Yet another minikanren port!

Economics of Ransomware | Dataset

Scala API for Echopraxia

Otter programming (fictional) language compiler

Host project for Sagittarius, Pisces, and Taurus

Automatically exported from code.google.com/p/buddy-suite