Pinned Repositories
diaspy
Python API for Diaspora (unofficial)
dotfiles
various dotfiles
lrucaching
Haskell implementation of an LRU cache
nanovg-hs
NanoVG Haskell bindings
postgresql-named
Deserialize PostgreSQL rows to Haskell records by matching column names and record field names
reactand
Tiling window manager for wayland
robinhood
A Haskell implementation of a Robinhood hashtable
zkboo-hs
Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.
llvm-hs
Haskell bindings for LLVM
llreve
Automatic regression verification for LLVM programs
cocreature's Repositories
cocreature/dotfiles
various dotfiles
cocreature/lrucaching
Haskell implementation of an LRU cache
cocreature/nanovg-hs
NanoVG Haskell bindings
cocreature/toy-linker
cocreature/ex-know-your-customer
A reference application demonstrating the lifecycle of KYC (Know Your Customer) data subscriptions between data providers, analysts and customers.
cocreature/bazel
a fast, scalable, multi-language and extensible build system
cocreature/bazel-external-cc-issue
Reproduction for a caching issue with a CC toolchain in an external workspace
cocreature/daml-finance-app
cocreature/ex-inventory-management
Crypto Inventory Management System has been designed to make it easy and safe for crypto funds to manage their crypto assets on public ledgers.
cocreature/ex-java-bindings
Three examples demonstrating three different approaches to using the Java ledger API bindings
cocreature/ex-market-data-service
cocreature/ex-structured-trade-finance
Reference DAML application demonstrating a structured trade financing use case.
cocreature/ex-supply-chain
Reference DAML application demonstrating a supply chain use case.
cocreature/feed
cocreature/gRPC-haskell
Haskell gRPC support
cocreature/haskell-lsp
Haskell library for the Microsoft Language Server Protocol
cocreature/hoogle
Haskell API search engine
cocreature/lib-daml-jvm-test
A library providing functions for testing DAML applications on JVM.
cocreature/llvm-hs
cocreature/meal-tracker
cocreature/nixpkgs
Nix Packages collection
cocreature/proto3-suite
Haskell Protobuf Implementation
cocreature/rules_go
Go rules for Bazel
cocreature/rules_haskell
Haskell rules for Bazel.
cocreature/rules_nixpkgs
Rules for importing Nixpkgs packages into Bazel.
cocreature/rules_nodejs
JavaScript and NodeJS rules for Bazel
cocreature/rules_scala
Scala rules for Bazel
cocreature/selenium
A browser automation framework and ecosystem.
cocreature/splice
Reference applications for funding, operating, and incentivizing the use of a decentralized, public Canton synchronizer. Includes the Amulet reference application for creating native payment utilities for Canton synchronizers and Daml applications.
cocreature/swagger2
Swagger 2.0 data model.