Unisay
Follow
Lists (3)
Stars
Plutus scripts used for cardano-node-tests
Load a GHCi session for a Haskell project and reload it when source files change
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 32-bit Arm 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 simple API client (postman like) in your terminal
Smart Contracts Tribe Developer Platform
A language for intent-centric and declarative decentralised applications
Allure Report is a flexible, lightweight multi-language test reporting tool. It provides clear graphical reports and allows everyone involved in the development process to extract the maximum of in…
Tagref helps you manage cross-references in your code.
A collection of resources for learning type theory and type theory adjacent fields.
A work-in-progress PureScript to Plutus Core compiler
Cardano end-to-end testing framework for Haskell APIs
The Plutus language implementation and tools