input-output-hk / metronome

Related projects: ⓘ

• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 6 years ago
• andreaferretti / lethe
  Oblivious RAM for Scala
  ☆19Updated 3 years ago
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated 10 months ago
• EncryFoundation / EncryCore
  EncryCore node reference implementation
  ☆15Updated 4 years ago
• fegaras / DIQL
  DIQL: Data Intensive Query Language
  ☆12Updated 3 years ago
• zero-deps / kvs
  Highly available distributed strong eventual consistent and sequentially consistent storage with feeds, sorting and search
  ☆23Updated 6 months ago
• Rich2 / openstrat
  Cross Platform Scala 2d graphics (but 3d compatible), basic geometry, maps, Earth maps, hex-tiling and strategy library(s).
  ☆21Updated this week
• pheymann / scala.bft
  Parallel Byzantine Fault Tolerance (R&D)
  ☆10Updated 6 years ago
• alephium / ralph-vscode
  ralph tooling for VS Code.
  ☆10Updated 3 months ago
• wvlet / wvlet
  A new query language designed for building composable and reproducible data processing pipelines
  ☆12Updated 3 weeks ago
• hmrc / play-fsm
  ☆10Updated last year
• rberenguel / tla_lightning
  Lightning talk about TLA+ for Scala Exchange 2018
  ☆9Updated 4 years ago
• plokhotnyuk / expression-evaluator
  Compile-time expression evaluation for Scala
  ☆15Updated 2 weeks ago
• sideeffffect / scala-rust-interop
  ☆32Updated 3 months ago
• epfl-lara / smart
  Verification and Generation of Smart Contracts using Stainless and Scala
  ☆35Updated 3 years ago
• scala / sbt-scala-module
  sbt plugin for scala modules.
  ☆14Updated 3 weeks ago
• devlaam / Leucine
  Small x-platform actor framework
  ☆11Updated 6 months ago
• openmole / gridscale
  Scala library for accessing various file, batch systems, job schedulers and grid middlewares.
  ☆27Updated 6 months ago
• yzernik / bitcoin-scodec
  Library for encoding Bitcoin network protocol messages in Scala.
  ☆21Updated 5 years ago
• Ldpe2G / Scala_Language_Specification_pdf
  Convert Scala Language Specification markdown files to pdf / epub format
  ☆12Updated 4 years ago
• dragonfly-ai / slash
  Linear Algebra and Statistics library for Scala.js, JVM, and Native.
  ☆25Updated last month
• lampepfl / xml-interpolator
  XML String Interpolator for Dotty
  ☆32Updated 5 months ago
• forax / write_your_dynamic_language_runtime
  How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM
  ☆13Updated 6 months ago
• lampepfl / dotty-feature-requests
  Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…
  ☆31Updated last year
• lampepfl / scala3doc
  ☆16Updated 3 years ago
• sireum / v3
  Sireum v3
  ☆10Updated last year
• lihaoyi / autojit
  ☆13Updated 5 years ago
• sbt / util
  util modules for sbt
  ☆15Updated 4 years ago
• aoprisan / func
  FP concepts in Rust
  ☆12Updated 6 years ago
• playframework / cachecontrol
  Minimal HTTP cache management library in Scala
  ☆14Updated this week