A different golden testing provider for tasty.

The C++ Iceberg

Simple Dependent Type Checker

typing haskell in haskell

⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.

100% open-source IoT Platform - Integrate your devices, add intelligence, build custom apps

Work in progress pure python dhall interpreter

Compile Dhall expressions to Cabal files

📝 An example web application in Gleam

🕸️ Types and functions for HTTP clients and servers!

🎁 Gleam's standard library

📫 Fault tolerant multicore programs with actors

💯 A collection of Gleam libraries, projects, and resources

A test framework that runs everything in parallel.

Integration library for MUnit & cats-effect

A curated list of awesome open source rules engines

Faker is a PHP library that generates fake data for you

bf converter

A lambda calculus parser written in Scala.

Expressive types for Spark.

Simple, expressive, and safe UI library for Scala.js

Elm-inspired Scala UI library.

Feral cats are homeless, feral functions are serverless

Idiomatic Cats Effect + FS2 integrations for Web APIs

Pure, reactive UI library for Scala.js

Integration between cats-effect and test frameworks

A fast, friendly, functional language.

A testing tool for Scala and Java developers

A data access library for Scala + Postgres.

Software Specifications for Scala