repos
18
ecosystems
5
languages
4
commits
2,477
─── top repos · by commits
─── repositories
18 totalThe Daml smart contract language
daml fork of haskell/ghcide
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
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.
Fork of Hlint (https://github.com/ndmitchell/hlint)
The GHC API, decoupled from GHC versions
Haskell rules for Bazel.
Node.js bindings for DAML
The Z3 Theorem Prover
A modern, extensible and well-documented prettyprinter.
:milky_way: Prelude written in @Serokell
Canton Network Wallet
DABLified react bindings
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
─── peer developers
─── ecosystems
─── languages
- Haskell6
- TypeScript3
- Scala1
- JavaScript1
─── subscriber view
Unlock the full view of cocreature
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.