Unisay

htmx

</> htmx - high power tools for HTML

awesome-lua

A curated list of quality Lua packages and resources.

patat

Terminal-based presentations using Pandoc

tarsnap

Command-line client code for Tarsnap.

effectful

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

cornelis

agda-mode for neovim

udev-rules

udev rules to support Ledger devices on Linux

local-lua-debugger-vscode

Local Lua Debugger for VSCode

cardano-transaction-lib

A Purescript library for building smart contract transactions on Cardano

cardano-private-testnet-setup

Setup guide to create private Cardano testnet and run sample transactions including a Plutus contract example. This environment can be used for local development and learning.

purescript-lua

Purescript compiler back-end for Lua

keelung

The Keelung Language

certainty-by-construction

Source material for Certainty by Construction

fastapi-sse-htmx

cardano-transactions

Library utilities for constructing and signing Cardano transactions.

purescript-fmt

Format strings, safely.

cf-java-rewards-calculation

This java project is used to calculate the rewards of the Cardano blockchain. It aims to be both an edge case documentation and formula implementation.

nix-templates

Minimal reproducible nix flake templates

cardano-wallet-rb

Ruby wrapper over cardano-wallet REST Api

mafoc

cardano-calendar

halogen-typewriter

A simple typewriter effect for halogen

yr

yr.no weather forecasts CLI-app in Haskell

yampa-snake

cardano-wallet-client

agda-notes

Various notes on Agda and agda2hs

purescript-lua-example

Example project to demonstrate usage of the purescript-lua compiler backend

purescript-lua

Purescript compiler back-end for Lua

vt-just

reads