Lua for the RP2040 microcontroller

Session types framework with support of protocol pipelining.

Some compilation experiments

Plutus Experience Modules

COOP - Cardano open oracle protocol

higher-order effects done right for Haskell

Dactyl-ManuForm, a parameterized ergonomic keyboard

The Kaly is a Cheap, Split and Ergo 42 key Keyboard!

Cardano CLI tool for hardware wallets

A simple library for reporting compiler/interpreter errors

Plutus scripts used for cardano-node-tests

Load a GHCi session for a Haskell project and reload it when source files change

Koans to learn rhine

An interpreter for a concurrent lisp-like language with message-passing and pattern-matching implemented in C.

Function EXpression Language (interpreter for functional programs)

A simple pythonic programming language for Smart Contracts on Cardano

The PureScript implementation for the *Types and Programming Language* by B. Pierce

picolibc - a C library designed for embedded 32- and 64- bit systems.

A project dedicated to building LLVM toolchain for Arm and AArch64 embedded targets.

Prototype implementation of Approximate Lower Bound Arguments

Userspace Raspberry Pi PWM library for WS281X LEDs

An extension for uLisp to drive NeoPixel LED displays from a variety of different platforms.

A version of the Lisp programming language for ESP32-based boards.

A Haskell blog

A simple API client (postman like) in your terminal

Smart Contracts Tribe Developer Platform

A language for intent-centric and declarative decentralised applications