dantb

scalag

Multi-platform GPGPU computations with Scala, seamlessly 🚀

localstack-pro-samples

Sample projects to demonstrate advanced LocalStack features

iron

Strong type constraints for Scala

errata

Error handling made precise. Because error handling belongs in the types.

testcontainers-hs

Docker containers for your integration tests! http://hackage.haskell.org/package/testcontainers

awesome-chatgpt-prompts

This repo includes ChatGPT prompt curation to use ChatGPT better.

awesome-techforgood

A selection of projects, organisations and useful tools for social-impact tech

openapi-devtools

Browser extension that generates API specs for any app or website

nexus-web

Nexus Web is the interface of Blue Brain Nexus

awesome-poker

:spades: :hearts: :clubs: :diamonds: A curated list of awesome poker resources & tools to improve your game.

Inkuire

Hoogle-like searches for Scala 3 and Kotlin

toolkit

Quickstart your next app with the Typelevel Toolkit!

typelevel-scalafix

Scalafix rules for Typelevel projects

sbt-typelevel

Let sbt work for you.

lambda-scala3

Type-level lambda calculus in Scala 3

catapult

typelevel-library.g8

Template for starting FP libraries ready to be published

paiges

an implementation of Wadler's a prettier printer

Laika

Site and E-book Generator and Customizable Text Markup Transformer for sbt, Scala and Scala.js

izumi

Productivity-oriented collection of lightweight fancy stuff for Scala toolchain

gooey

Create graphical user interfaces really quickly. Sweet!

twiddles

Micro-library for building effectful protocols

Prompt-Engineering-Guide

🐙 Guides, papers, lecture, notebooks and resources for prompt engineering

NovelIO

F# Functional IO Library

scala-webapp-template

A pragmatic skeleton to build web applications in Scala/Scala.js, including user registration, login, admin portal, and, deployments

awesome-neuroscience

A curated list of awesome neuroscience libraries, software and any content related to the domain.

inox

Solver for higher-order functional programs

stainless

Verification framework and tool for higher-order Scala programs

FxLifeSheet

Tracking the key metrics of my life

toolsforactivism

growing list of digital tools for activism things