Pinned Repositories
arrayfire-haskell
Haskell bindings to ArrayFire
async
A strawman for a low-level async library in Scala 3
cairo-lang
cairo-playground
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
macropolis
scala macro playground
scala-async
trails
Purely functional graph traversal combinators written in Scala.
danielkroeni's Repositories
danielkroeni/scala-async
danielkroeni/cairo-playground
danielkroeni/trails
Purely functional graph traversal combinators written in Scala.
danielkroeni/macropolis
scala macro playground
danielkroeni/arrayfire-haskell
Haskell bindings to ArrayFire
danielkroeni/async
A strawman for a low-level async library in Scala 3
danielkroeni/cairo-lang
danielkroeni/cam
Haskell implementation of the categorical abstract machine
danielkroeni/danielkroeni
Config files for my GitHub profile.
danielkroeni/ESP32Marauder
A suite of WiFi/Bluetooth offensive and defensive tools for the ESP32
danielkroeni/frege
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
danielkroeni/first-java
danielkroeni/gui
GUI Library for "Intro to Java" Courses
danielkroeni/Haskell-Lens-Tutorial-Library
The missing tutorial module for the lens library
danielkroeni/HPi
Library to access the GPIO pins on a Raspberry Pi from Haskell.
danielkroeni/Idris2
A purely functional programming language with first class types
danielkroeni/Idris2-Grin
GRIN backend for Idris2
danielkroeni/JSBeanValidation
Express constraints in JavaScript for JSR303 Java Bean Validation
danielkroeni/LearnPDDL
[WORK IN PROGRESS] A guide to learning, implementing and using PDDL. (Updated Weekly)
danielkroeni/property-based-testing-stateful-systems-tutorial
A tutorial about how to apply property-based testing to stateful systems.
danielkroeni/protocol
Specification of the aeternity blockchain protocol
danielkroeni/stark101
danielkroeni/ttl
danielkroeni/unison
A friendly programming language from the future
danielkroeni/web3j-gradle-plugin
web3j Gradle plugin
danielkroeni/z3_tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver