epfl-lara / smart

Related projects ⓘ

Alternatives and complementary repositories for smart

• atnos-org / origami
  Monadic folds
  ☆70Updated 2 years ago
• alcestes / lchannels
  Session programming in Scala
  ☆59Updated 3 years ago
• scala-yinyang / scala-yinyang
  Library for deep embedding of DSLs based on Scala macros.
  ☆74Updated 8 years ago
• alcestes / effpi
  Verified message-passing programs in Dotty
  ☆47Updated 3 years ago
• TiarkRompf / scala-escape
  A compiler plug-in to control object lifetimes in Scala
  ☆63Updated 7 years ago
• slamdata / quark
  Quark: An Embedded DSL for Quasar Analytics
  ☆45Updated 7 years ago
• dotty-linker / dotty
  Modified version of dotty suporting language specific and library-specific optimizations
  ☆37Updated 8 years ago
• cvogt / flow-comprehensions
  Work in progress: Simpler and more powerful alternative to Scala's built-in for-comprehension syntax
  ☆25Updated 8 years ago
• typelevel / shapeless-contrib
  Interoperability libraries for Shapeless
  ☆77Updated 7 years ago
• ihji / yoyak
  ☆17Updated 2 years ago
• sjrd / scala-unboxed-option
  A type-parametric unboxed Option type for Scala
  ☆60Updated 3 years ago
• scalacenter / spores
  Scala Spores, safe mobile closures.
  ☆28Updated 6 years ago
• yzernik / bitcoin-scodec
  Library for encoding Bitcoin network protocol messages in Scala.
  ☆21Updated 5 years ago
• travisbrown / circe-derivation
  ☆17Updated 8 years ago
• Katrix / perspective
  Higher kinded data in Scala
  ☆19Updated 3 months ago
• janstenpickle / extruder
  Populate Case Classes From Any Data Source
  ☆83Updated 3 years ago
• Ichoran / kse
  The Kerr Scala Extensions contain core functionality missing from the Scala standard library.
  ☆28Updated 3 years ago
• frgomes / scala-bindgen
  A native binding generator for the Scala language.
  ☆35Updated 7 years ago
• TomasMikula / nutcracker
  Problem solving à la carte
  ☆20Updated 2 years ago
• earldouglas / sbt-frege
  Frege support for sbt
  ☆53Updated this week
• retronym / boxer
  ☆47Updated 4 years ago
• scalameta / scalagen
  WIP - Scalameta powered code generation
  ☆40Updated 6 years ago
• Richard-W / scalacrypt
  Provides various cryptographic functions for scala.
  ☆13Updated 5 years ago
• VladimirNik / tasty
  tasty project for Scala
  ☆14Updated 7 years ago
• adelbertc / aiyou
  IO types and classes for Scala.
  ☆42Updated 7 years ago
• bitwalker / scaladiff
  A diff library built in Scala, for Scala projects
  ☆13Updated 8 years ago
• CodeMettle / jsactor
  Actors on Scala.js
  ☆31Updated 5 years ago
• typelevel / catalysts
  ☆33Updated 5 years ago
• zainab-ali / fs2-reactive-streams
  A reactive streams implementation for fs2
  ☆63Updated 5 years ago
• emstlk / nacl4s
  Scala implementation of Networking and Cryptography (NaCl) library
  ☆31Updated 9 years ago