vincentdehaan Goto Github PK

atto

friendly little parsers

baker-subprocess

Experiment to create subprocesses in Baker

bitwise

cats

Lightweight, modular, and extensible library for functional programming.

circe

Yet another JSON library for Scala

cormorant

A CSV Handling Library for FP.

doobie

Functional JDBC layer for Scala.

doppio

Breaks the browser language barrier (includes a plugin-free JVM).

dotty-experiments

elf

Parser for ELF object format.

extreme-deduplication

This repository contains an example application using the principle of extreme deduplication

fileparser

find-usage

A tool to find which class uses a method

fpinscala

Answers to exercises in the book Functional Programming in Scala

hutton-programming-in-haskell

Exercises from Graham Hutton, Programming in Haskell

idris2

A purely functional programming language with first class types

jar-tools

Scala library to handle jar files

k-and-r

Answers to exercises in the book The C Programming Language ('K & R')

kamerstukken

Tool to scrape data about Dutch 'kamerstukken' (parlementary documents)

launcher

The sbt launcher as its own project. Can launch any ivy/maven published project with a main class, with some fancy features.

lean4

Lean 4 programming language and theorem prover

logical_verification_2021

mdc-propagation-dispatcher

A Mapped Diagnostic Context (MDC) propagation Akka Dispatcher for the asynchronous environment of the Play Framework.

mima

A tool for catching binary incompatibility in Scala

minisat

A minimalistic and high-performance SAT solver

monad-example

rec-find

Static analysis to find recursive methods in classes and jar archives

refined

Simple refinement types for Scala

sbt

sbt, the interactive build tool

sbt-dynamodb

DynamoDB Local SBT plugin