Alternatives and similar repositories for upc

Users that are interested in upc are comparing it to the libraries listed below

• propensive / guillotine
  Making the execution of system processes easier in Scala
  ☆13Updated 4 months ago
• jphmrst / bps
  Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
  ☆16Updated last year
• amarpotghan / dhall-scala
  dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.
  ☆39Updated 6 years ago
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆27Updated 3 years ago
• ruestigraben / ruesti-base
  Base library for Rüstigraben
  ☆18Updated 4 years ago
• 7mind / idealingua-v1
  IdeaLingua RPC for Scala, TypeScript, C#, Go
  ☆21Updated this week
• sideeffffect / scala-rust-interop
  ☆35Updated 3 weeks ago
• rberenguel / tla_lightning
  Lightning talk about TLA+ for Scala Exchange 2018
  ☆9Updated 5 years ago
• lasersonlab / ndarray.scala
  N-dimensional arrays, with Zarr and HDF5 integrations
  ☆17Updated 6 years ago
• rtimush / zio-magic-comments
  ZioMagicComments is a Scalafix rule that adds explanatory graphs as comments to zio-magic methods
  ☆14Updated 10 months ago
• fdietze / flatland
  High-performance helpers for working with flat arrays in Scala
  ☆10Updated 3 months ago
• suhailshergill / TTFI
  typed tagless final interpreters
  ☆13Updated 8 years ago
• johnynek / buildcart
  Implementation of the ideas in the Build Systems a la Carte paper
  ☆15Updated 6 years ago
• goedelsoup / rocks4s
  Pure functional wrapper for RocksDB
  ☆14Updated 5 years ago
• ShaneDelmore / imclipitly
  Make your project more clippity implicitly with imclipitly
  ☆17Updated 8 years ago
• miiohio / ziopy
  ZIO for Python
  ☆85Updated last year
• TypeChecked / numerology
  ☆19Updated 5 years ago
• propensive / escritoire
  A library for writing tables for Scala
  ☆12Updated 5 months ago
• VladimirNik / tasty
  tasty project for Scala
  ☆14Updated 8 years ago
• tribbloid / shapesafe
  SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
  ☆32Updated last year
• mpilquist / strava-summary
  ☆25Updated 4 years ago
• earldouglas / linear-scala
  Linear types in Scala
  ☆43Updated last week
• bbarker / haskell-zio
  A monad-transformer analogue to the Scala ZIO library (basically, UIO + Reader + Either)
  ☆10Updated 4 years ago
• typelevel / unique
  Unique Functional Values for Scala
  ☆17Updated 9 months ago
• jeremyrsmith / baudrillard
  Experiments with symbolic functions in the Scala type system
  ☆27Updated 6 years ago
• DmytroMitin / dotty-patched
  Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming
  ☆20Updated 2 years ago
• hablapps / stateless
  A library which is not recognized as citizen of any infrastructure.
  ☆26Updated 5 years ago
• andreaTP / sbtcli
  Sbt thin client in Scala.js running on Node
  ☆14Updated 6 years ago
• markehammons / sbt-shackle
  An sbt plugin for creating java foreign bindings using project panama.
  ☆12Updated 5 years ago
• scalameta / moped
  ☆20Updated last year