mikesperber Goto Github PK

architecture-summit-2019

Code & slides for Architecture Summit 2019

architecture-summit-2020

auctex

Git mirror of Emacs auctex project

cider

CIDER is a Clojure IDE and REPL for Emacs

clojure-mode

Emacs support for the Clojure language

codemesh-2020

Code for Code MESH 2020

codox

Clojure documentation tool

concat

Compiling to Categories

cufp-web

Converting the CUFP web site from Drupal to Jekyll

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.

dash.el

A modern list library for Emacs

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"

gnus

Clone of Gnus

haskell-effects-tutorial

Material for Haskell effects tutorial at BOB 2020

haskell-mode

Emacs mode for Haskell

hopl-4-emacs-lisp

htdp

icfp2020

Material for ICFP 2020 tutorial on functional software architecture

icfp2021

Functional Software Architecture tutorial at ICFP 2021

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