Obsidian Systems LLC (@obsidiansystems)

Top 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

remote-iserv

Libraries for remote implementations of the GHC external interpreter
Haskell
1
star
66

postgresql-lo-stream

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

snap-stream

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

optimism-znft

Nix
1
star
69

logging-effect-syslog

Haskell
1
star
70

ledger-app-kadena

TypeScript
1
star
71

dependent-sum-universe-orphans

Haskell
1
star
72

logging-effect-colors

Haskell
1
star
73

beam-migrate-temp

Haskell
1
star
74

database-id

Haskell
1
star
75

dombuilder-pandoc

Haskell
1
star
76

terrad-nix

Deploy a terrad node with NixOS
Nix
1
star
77

partial-map

Haskell
1
star
78

dependent-sum-template

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

reflex-webauthn

Reflex based implementation of webauthn
Haskell
1
star
80

hw-app-pokt

TypeScript
1
star
81

hw-app-obsidian-common

TypeScript
1
star
82

bytestring-aeson-orphans

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

hnix-debug

Haskell
1
star
84

gitea-api

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

nix-daml-sdk

Nix
1
star
86

obelisk-https

Serve Obelisk applications securely
Nix
1
star