Software Development Languages: Haskell

1. cardano-ledger

   1 9 271 10.0 Haskell

   The ledger implementation and specifications of the Cardano blockchain.

   

   Blockchain - I find it's one of the few fields really investing in formal methods at the moment (my old boss recently opened a research center at Carnegie Mellon in formalizing maths actually). Two repos with specs are:

   * https://github.com/input-output-hk/cardano-ledger

2. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

3. plutus

   2 89 1,592 10.0 Haskell

   The Plutus language implementation and tools

   

   * https://github.com/input-output-hk/plutus

   There's quite a few recent Isabelle repos such as https://github.com/input-output-hk/high-assurance-legacy

   I haven't worked there for a year or so and don't remember specifics like KLOCs, just that they're dotted around internal and public repos :)

4. high-assurance-legacy

   3 1 81 7.0 Haskell

   Discontinued Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

   

   * https://github.com/input-output-hk/plutus

   There's quite a few recent Isabelle repos such as https://github.com/input-output-hk/high-assurance-legacy

   I haven't worked there for a year or so and don't remember specifics like KLOCs, just that they're dotted around internal and public repos :)

Suggest a related project