• Stars
    star
    1
  • Language
    Haskell
  • Created almost 8 years ago
  • Updated almost 8 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Libraries for remote implementations of the GHC external interpreter

More Repositories

1

obelisk

Functional reactive web and mobile applications, with batteries included.
Haskell
957
star
2

ledger-app-tezos

Ledger app for Tezos
C
102
star
3

dependent-map

Dependently-typed finite maps (partial dependent products)
Haskell
63
star
4

ipfs-nix-guide

IPFS Γ— Nix Guide
62
star
5

dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them
Haskell
54
star
6

nix-thunk

seamless management of source dependencies with nix
Haskell
38
star
7

hydra-pay

An open-source library for Cardano developers using Hydra (Head)
Haskell
38
star
8

rhyolite

Haskell
26
star
9

aeson-gadt-th

Template Haskell for generating ToJSON and FromJSON instances for GADTs
Haskell
22
star
10

beam-automigrate

Generated migrations for beam databases
Haskell
20
star
11

gargoyle

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

vessel

Functor-parametric containers
Haskell
18
star
13

solana-bridges

Rust
17
star
14

haven

Use haskell to produce a nix set of maven dependencies!
Haskell
12
star
15

obelisk-oauth

Haskell
12
star
16

haveibeenpwned

Haskell library that uses HIBP to evaluate passwords
Haskell
11
star
17

ledger-app-nervos

C
10
star
18

directory-contents

Recursively build a tree of directory contents, avoiding symlink cycles
Haskell
10
star
19

calculator-tutorial

Building a calculator with Reflex-FRP
CSS
10
star
20

go-ipfs-swh-plugin

IPFS plugin for SoftWare Heritage IDentifiers
Go
9
star
21

constraints-extras

Convenience functions and template haskell for working with constraints
Haskell
9
star
22

obelisk-systemd

Turn your obelisk app into a systemd service
Nix
9
star
23

daml-cucumber

Cucumber testing for daml scripts
Haskell
8
star
24

ledger-app-avalanche

Ledger app providing an AVAX wallet
C
7
star
25

obelisk-tailwind-example

An example project using Obelisk, PostCSS, and Tailwind CSS
Nix
7
star
26

android-activity

Java
7
star
27

opam-nixify

OCaml
7
star
28

prim-uniq

Opaque unique identifiers in primitive state monads
Haskell
6
star
29

cross-android

Nix
5
star
30

avalanche-wallet-cli

JavaScript
4
star
31

which

Haskell
4
star
32

commutative-semigroups

Haskell
4
star
33

monoid-map

Newtype wrapper around 'Data.Map.Monoidal.MonoidalMap' that has a correct 'Group' instance.
Haskell
4
star
34

nervos-force-bridge

Nix
4
star
35

echarts-jsdom

Haskell
4
star
36

dependent-monoidal-map

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

polygon-nix

Deploy a Polygon Node with Nix instead of Ansible
Nix
4
star
38

ledger-app-sui

Rust
3
star
39

dependent-sum-aeson-orphans

JSON instances for DSum and DMap
Haskell
3
star
40

reflex-dom-echarts

Haskell
3
star
41

cli-extras

Haskell
3
star
42

socket-over-tls-service

A NixOS service that forwards a Unix domain socket over TLS
Nix
3
star
43

ghcjs-json

Haskell
3
star
44

push-notifications

Haskell
3
star
45

seven-guis-vty

7GUIs implemented in reflex-vty
Nix
3
star
46

fomantic-sketch-ui-kit

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

react

Haskell
3
star
48

ledger-app-pocket

Rust
3
star
49

obelisk-examples

Examples of full-stack applications using Obelisk
Haskell
3
star
50

ledger-app-provenance

Rust
2
star
51

ledger-platform

Infrastructure for writing ledger apps, built with Nix
Nix
2
star
52

cli-nix

Haskell
2
star
53

hw-app-avalanche

LedgerJS bindings for Avalanche
JavaScript
2
star
54

plaid

Haskell client for Plaid
Haskell
2
star
55

obelisk-google-analytics

Haskell
2
star
56

reflex-react-example

Nix
2
star
57

lazy-minting

Smart contract implementation allowing lazy minting and auctioning capability of NFTs
2
star
58

reflex-dom-plaid

Haskell
2
star
59

lazy-minting-marketplace

Solidity
2
star
60

hydra-head-demo

Haskell
2
star
61

daml-syndicated-loan

Syndicated loan example implemented in DAML
Shell
2
star
62

monad-logger-extras

Build composable logging backends for monad-logger
Haskell
2
star
63

hs-openmoji-data

OpenMoji for Haskell
Haskell
2
star
64

hw-app-kda

TypeScript
1
star
65

postgresql-lo-stream

Library for streaming large objects to and from PostgreSQL in Haskell
Haskell
1
star
66

snap-stream

Snap handlers for streaming access with range requests
Haskell
1
star
67

optimism-znft

Nix
1
star
68

logging-effect-syslog

Haskell
1
star
69

ledger-app-kadena

TypeScript
1
star
70

dependent-sum-universe-orphans

Haskell
1
star
71

logging-effect-colors

Haskell
1
star
72

beam-migrate-temp

Haskell
1
star
73

database-id

Haskell
1
star
74

dombuilder-pandoc

Haskell
1
star
75

terrad-nix

Deploy a terrad node with NixOS
Nix
1
star
76

partial-map

Haskell
1
star
77

dependent-sum-template

Template Haskell code to generate instances of classes in some package
Haskell
1
star
78

reflex-webauthn

Reflex based implementation of webauthn
Haskell
1
star
79

hw-app-pokt

TypeScript
1
star
80

hw-app-obsidian-common

TypeScript
1
star
81

bytestring-aeson-orphans

Aeson instances for ByteString, using base 64 encoding
Haskell
1
star
82

hnix-debug

Haskell
1
star
83

gitea-api

Client for Gitea API, generated using the OpenAPI haskell-http-client generator
Haskell
1
star
84

nix-daml-sdk

Nix
1
star
85

obelisk-https

Serve Obelisk applications securely
Nix
1
star