mikesperber

icfp2020

Material for ICFP 2020 tutorial on functional software architecture

rc3

Code for embedding BASIC inside of Racket

hopl-4-emacs-lisp

haskell-effects-tutorial

Material for Haskell effects tutorial at BOB 2020

icfp2021

Functional Software Architecture tutorial at ICFP 2021

codemesh-2020

Code for Code MESH 2020

scsh

A Unix shell embedded in scheme

architecture-summit-2019

Code & slides for Architecture Summit 2019

architecture-summit-2020

codox

Clojure documentation tool

concat

Compiling to Categories

curriculum-flex

Curriculum for the FLEX ISAQB Advanced Level Training

curriculum-fm

Curriculum for Formal Methods

curriculum-foundation

iSAQB Curriculum for the CPSA - Foundation Level. This repository contains copyrighted work.

dddeu-2023

Talk "DDD and FP can't be friends"

devday-2022

Material für Workshop "Die mächtigste DDD-Idee: Closure of Operations" auf dem Dev Day 2022

ensime-multi-project

ENSIME bug report for subproject problem

entr-test

event-sourcing-no-responsibility

Blog post on "Event Sourcing without Responsibility"

htdp

idris-quickcheck

A port of QuickCheck to Idris

idris-tf-random

A port of the Haskell tf-random to Idris

it-cfp-list

List of Call For Papers for IT conferences

java-forum-2022

Talk zum Java-Forum 2022

jax-2019

Haskell code for JAX 2019 talk

nixpkgs

Nix Packages collection

oop-2024

Material for OOP 2024 talk "OOP and FP Can't Be Friends - Yet"

rhombus-brainstorming

RFCs for Racket 2 design

string-constants

tensorflow-haskell

Haskell bindings for TensorFlow