danielkroeni

scala-async

cairo-playground

trails

Purely functional graph traversal combinators written in Scala.

macropolis

scala macro playground

arrayfire-haskell

Haskell bindings to ArrayFire

async

A strawman for a low-level async library in Scala 3

cairo-lang

cam

Haskell implementation of the categorical abstract machine

danielkroeni

Config files for my GitHub profile.

ESP32Marauder

A suite of WiFi/Bluetooth offensive and defensive tools for the ESP32

frege

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

first-java

gui

GUI Library for "Intro to Java" Courses

Haskell-Lens-Tutorial-Library

The missing tutorial module for the lens library

HPi

Library to access the GPIO pins on a Raspberry Pi from Haskell.

Idris2

A purely functional programming language with first class types

Idris2-Grin

GRIN backend for Idris2

JSBeanValidation

Express constraints in JavaScript for JSR303 Java Bean Validation

LearnPDDL

[WORK IN PROGRESS] A guide to learning, implementing and using PDDL. (Updated Weekly)

property-based-testing-stateful-systems-tutorial

A tutorial about how to apply property-based testing to stateful systems.

protocol

Specification of the aeternity blockchain protocol

stark101

ttl

unison

A friendly programming language from the future

web3j-gradle-plugin

web3j Gradle plugin

z3_tutorial

Jupyter notebooks for tutorial on the Z3 SMT solver