Software Development Languages: Haskell

• cardano-ledger

  9 243 9.9 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

• plutus

  89 1,530 9.8 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 :)

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• high-assurance-legacy

  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