Obsidian Systems LLC

Software consultancy specializing in haskell, nix, curiosity, and innovation.

New York, NY

Pinned Repositories

aeson-gadt-th
Template Haskell for generating ToJSON and FromJSON instances for GADTs
Language:Haskell21 31 126
dependent-map
Dependently-typed finite maps (partial dependent products)
Language:Haskell63 24 1432
dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
Language:Haskell54 24 2238
gargoyle
A framework for managing daemons from Haskell and libraries for use with postgresql and nix
Language:Haskell18 26 148
hydra-pay
An open-source library for Cardano developers using Hydra (Head)
Language:Haskell37 15 66
ipfs-nix-guide
IPFS × Nix Guide
583
ledger-app-tezos
Ledger app for Tezos
Language:C103 22 3852
nix-thunk
seamless management of source dependencies with nix
Language:Haskell37 20 169
obelisk
Functional reactive web and mobile applications, with batteries included.
Language:Haskell936 45 417102
rhyolite
Language:Haskell26 31 3317

Obsidian Systems LLC's Repositories

obsidiansystems/obelisk
Functional reactive web and mobile applications, with batteries included.
Language:Haskell936 45 417102
obsidiansystems/dependent-map
Dependently-typed finite maps (partial dependent products)
Language:Haskell63 24 1432
obsidiansystems/nix-thunk
seamless management of source dependencies with nix
Language:Haskell37 20 169
obsidiansystems/rhyolite
Language:Haskell26 31 3317
obsidiansystems/aeson-gadt-th
Template Haskell for generating ToJSON and FromJSON instances for GADTs
Language:Haskell21 31 126
obsidiansystems/gargoyle
A framework for managing daemons from Haskell and libraries for use with postgresql and nix
Language:Haskell18 26 148
obsidiansystems/ledger-app-nervos
Language:C10 17 158
obsidiansystems/constraints-extras
Convenience functions and template haskell for working with constraints
Language:Haskell9 24 1412
obsidiansystems/android-activity
Language:Java6 22 14
obsidiansystems/nixpkgs
Nix Packages collection
Language:Nix6 13 08
obsidiansystems/daml-cucumber
Cucumber testing for daml scripts
Language:Haskell5 12 0
obsidiansystems/commutative-semigroups
Language:Haskell4 8 77
obsidiansystems/dependent-monoidal-map
Data.Dependent.Map variant that appends conflicting entries when merging maps instead of discarding one side of the conflict
Language:Haskell4 25 12
obsidiansystems/cli-extras
Language:Haskell3 20 12
obsidiansystems/dependent-sum-aeson-orphans
JSON instances for DSum and DMap
Language:Haskell3 26 32
obsidiansystems/ledger-app-pocket
Language:Rust3 12 12
obsidiansystems/nix
Nix, the purely functional package manager
Language:C++3 2 01
obsidiansystems/cli-nix
Language:Haskell21
obsidiansystems/hnix-store
Haskell implementation of the nix store API
Language:Haskell1
obsidiansystems/ledger-app-kadena
Language:TypeScript1 14 25
obsidiansystems/nix-daml-sdk
Language:Nix1 7 0
obsidiansystems/cli-git
Language:Haskell21 12
obsidiansystems/daml-helm-charts
Daml Enterprise deployment with high availability.
Language:Mustache1 0
obsidiansystems/hydra
Hydra, the Nix-based continuous build system
Language:Perl
obsidiansystems/hydra-drep-incentives-poc
An open-source experiment exploring the use of Hydra to distribute DRep Incentives
Language:Haskell
obsidiansystems/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
obsidiansystems/NixConContent
A collection of all the content from NixCon Paris 2022 and beyond
Language:Rust1 0
obsidiansystems/nixos-homepage
Sources for nixos.org
Language:Less
obsidiansystems/obelisk-ios-libfrontend
Language:Haskell3 11
obsidiansystems/simple-nix-benchmark
Language:Nix3 0