Discover obsidiansystems/constraints-extras Open Source project

Dependent sums and supporting typeclasses for comparing and displaying them

ipfs-nix-guide

IPFS × Nix Guide

dependent-sum

seamless management of source dependencies with nix

nix-thunk

An open-source library for Cardano developers using Hydra (Head)

hydra-pay

rhyolite

Template Haskell for generating ToJSON and FromJSON instances for GADTs

aeson-gadt-th

Generated migrations for beam databases

beam-automigrate

A framework for managing daemons from Haskell and libraries for use with postgresql and nix

gargoyle

Functor-parametric containers

vessel

solana-bridges

Use haskell to produce a nix set of maven dependencies!

haven

obelisk-oauth

Haskell library that uses HIBP to evaluate passwords

haveibeenpwned

Recursively build a tree of directory contents, avoiding symlink cycles

ledger-app-nervos

directory-contents

Building a calculator with Reflex-FRP

calculator-tutorial

CSS

go-ipfs-swh-plugin

IPFS plugin for SoftWare Heritage IDentifiers

obelisk-systemd

Turn your obelisk app into a systemd service

Cucumber testing for daml scripts

daml-cucumber

Ledger app providing an AVAX wallet

ledger-app-avalanche

obelisk-tailwind-example

An example project using Obelisk, PostCSS, and Tailwind CSS

Opaque unique identifiers in primitive state monads

android-activity

Java

opam-nixify

OCaml

prim-uniq

cross-android

avalanche-wallet-cli

which

commutative-semigroups

Newtype wrapper around 'Data.Map.Monoidal.MonoidalMap' that has a correct 'Group' instance.

monoid-map

nervos-force-bridge

echarts-jsdom

Data.Dependent.Map variant that appends conflicting entries when merging maps instead of discarding one side of the conflict

dependent-monoidal-map

Deploy a Polygon Node with Nix instead of Ansible

polygon-nix

ledger-app-sui

JSON instances for DSum and DMap

dependent-sum-aeson-orphans

reflex-dom-echarts

cli-extras

A NixOS service that forwards a Unix domain socket over TLS

socket-over-tls-service

ghcjs-json

push-notifications

7GUIs implemented in reflex-vty

seven-guis-vty

A Sketch library for Fomantic UI (Semantic UI's maintained successor)

fomantic-sketch-ui-kit

react

ledger-app-pocket

Examples of full-stack applications using Obelisk

obelisk-examples

ledger-app-provenance

Infrastructure for writing ledger apps, built with Nix

ledger-platform

cli-nix

LedgerJS bindings for Avalanche

hw-app-avalanche

JavaScript

plaid

Haskell client for Plaid

obelisk-google-analytics

reflex-react-example

Smart contract implementation allowing lazy minting and auctioning capability of NFTs

lazy-minting

reflex-dom-plaid

lazy-minting-marketplace

Solidity

hydra-head-demo

Syndicated loan example implemented in DAML

daml-syndicated-loan

Shell

monad-logger-extras

Build composable logging backends for monad-logger

hs-openmoji-data

hw-app-kda

remote-iserv

Libraries for remote implementations of the GHC external interpreter

Library for streaming large objects to and from PostgreSQL in Haskell

postgresql-lo-stream

Snap handlers for streaming access with range requests

snap-stream

optimism-znft

logging-effect-syslog

ledger-app-kadena

TypeScript

dependent-sum-universe-orphans

Deploy a terrad node with NixOS

logging-effect-colors

beam-migrate-temp

database-id

dombuilder-pandoc

terrad-nix

partial-map

Template Haskell code to generate instances of classes in some package

dependent-sum-template

Reflex based implementation of webauthn

reflex-webauthn

Aeson instances for ByteString, using base 64 encoding

hw-app-pokt

TypeScript

hw-app-obsidian-common

TypeScript

bytestring-aeson-orphans

hnix-debug

Client for Gitea API, generated using the OpenAPI haskell-http-client generator

gitea-api

nix-daml-sdk

Serve Obelisk applications securely

obelisk-https