cstml

FMCt

Functional Machine Calculus typed. A programming language based on the FMC paper, developed from scratch for a Dissertation project.

Space

A declarative, concatenative stack programing language. Pre-Alpha.

unison-library

agda-lib

agda-stdlib

The Agda standard library

apropos

Propositional Logic Apropos Types

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

clojure-koans

A set of exercises for learning Clojure

cstml

cstml.github.io

Personal Website Project

digraph

Directed Graphs

easy-purescript-nix

Easy PureScript (and other tools) with Nix

exercises-algorithms-interviews

Answers to competitions, interview tasks or standard algorithms.

flake-templates

Flake templates

GHAppy

A utility to pull issues and create documents - leveraging Pandoc.

go-hello-world

HoTTEST-Summer-School

HoTTEST Summer School materials

plutarch

Typed eDSL for writing UPLC /ˈpluː.tɑːk/

plutip

A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reason.

plutus-pioneer-program-1

This is a fork of the IOHK Plutus Pioneer Program repository. I am adding READMEs to each of the lectures to transcribe the audio.

purescript-bridge

Create PureScript datatypes from Haskell datatypes

purescript-halogen-template

Template project for getting started with Halogen

row-types

A Haskell library for open records and variants using closed type families and type literals

Rust-Linked-List

A simple Rust Linked List.

spec

Design of Specifications

srpn-calculator

SRPN calculator.

templates

Handy templates.

unison

A friendly programming language from the future

UoB-TCyan-dungeon-game

A dungeon game developed as part of Software Engineering module at the University of Bath

zfoh.ch

Our homepage