Pinned Repositories
codemesh-2020
Code for Code MESH 2020
cufp-web
Converting the CUFP web site from Drupal to Jekyll
haskell-effects-tutorial
Material for Haskell effects tutorial at BOB 2020
hopl-4-emacs-lisp
icfp2020
Material for ICFP 2020 tutorial on functional software architecture
icfp2021
Functional Software Architecture tutorial at ICFP 2021
jfp-runtime-fp
JFP Special Issue on Run-Time Systems and Target Platforms for Functional Languages
org-mode
org-mode with fixes for XEmacs
pgg
The PGG Partial Evaluation System for Scheme 48
rc3
Code for embedding BASIC inside of Racket
mikesperber's Repositories
mikesperber/icfp2020
Material for ICFP 2020 tutorial on functional software architecture
mikesperber/rc3
Code for embedding BASIC inside of Racket
mikesperber/hopl-4-emacs-lisp
mikesperber/haskell-effects-tutorial
Material for Haskell effects tutorial at BOB 2020
mikesperber/icfp2021
Functional Software Architecture tutorial at ICFP 2021
mikesperber/codemesh-2020
Code for Code MESH 2020
mikesperber/scsh
A Unix shell embedded in scheme
mikesperber/architecture-summit-2019
Code & slides for Architecture Summit 2019
mikesperber/architecture-summit-2020
mikesperber/codox
Clojure documentation tool
mikesperber/concat
Compiling to Categories
mikesperber/curriculum-flex
Curriculum for the FLEX ISAQB Advanced Level Training
mikesperber/curriculum-fm
Curriculum for Formal Methods
mikesperber/curriculum-foundation
iSAQB Curriculum for the CPSA - Foundation Level. This repository contains copyrighted work.
mikesperber/dddeu-2023
Talk "DDD and FP can't be friends"
mikesperber/devday-2022
Material für Workshop "Die mächtigste DDD-Idee: Closure of Operations" auf dem Dev Day 2022
mikesperber/entr-test
mikesperber/event-sourcing-no-responsibility
Blog post on "Event Sourcing without Responsibility"
mikesperber/htdp
mikesperber/idris-quickcheck
A port of QuickCheck to Idris
mikesperber/idris-tf-random
A port of the Haskell tf-random to Idris
mikesperber/it-cfp-list
List of Call For Papers for IT conferences
mikesperber/java-forum-2022
Talk zum Java-Forum 2022
mikesperber/java-vergangenheit-zukunft
mikesperber/jax-2019
Haskell code for JAX 2019 talk
mikesperber/nixpkgs
Nix Packages collection
mikesperber/oop-2024
Material for OOP 2024 talk "OOP and FP Can't Be Friends - Yet"
mikesperber/rhombus-brainstorming
RFCs for Racket 2 design
mikesperber/string-constants
mikesperber/tensorflow-haskell
Haskell bindings for TensorFlow