Alternatives and similar repositories for virtualization-lms-core:

Users that are interested in virtualization-lms-core are comparing it to the libraries listed below

• scala-lms / tutorials
  Tutorials on Lightweight Modular Staging
  ☆121Updated 5 months ago
• epfldata / dblab
  A framework for building database systems by high-level programming, and getting really good performance nevertheless.
  ☆137Updated 6 years ago
• stanford-ppl / Delite
  The Delite Git Repo
  ☆220Updated 8 years ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆162Updated last year
• epfldata / squid
  Squid – type-safe metaprogramming and compilation framework for Scala
  ☆199Updated last year
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆174Updated 3 years ago
• scalan / scalan
  Generic framework for development of domain-specific compilers in Scala
  ☆96Updated 7 years ago
• TiarkRompf / lms-clean
  ☆55Updated last year
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆123Updated last year
• Chymyst / chymyst-core
  Declarative concurrency in Scala - The implementation of the chemical machine
  ☆158Updated 2 years ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆367Updated this week
• heathermiller / spores
  Scala Spores, safe mobile closures.
  ☆127Updated 6 years ago
• TiarkRompf / scala-virtualized
  The Scala Programming Language: Virtualized
  ☆104Updated 9 years ago
• djspiewak / parseback
  A Scala implementation of parsing with derivatives
  ☆197Updated 5 years ago
• nbronson / scala-stm
  A library-based Software Transactional Memory (STM) for Scala, coupled with transactional sets and maps
  ☆251Updated last year
• greedy / scala
  My fork of scala (includes the llvm backend)
  ☆266Updated 11 years ago
• nativelibs4java / ScalaCL
  ScalaCL - run Scala on your GPU!
  ☆250Updated 9 years ago
• feiwang3311 / Lantern
  ☆169Updated 3 years ago
• miniboxing / miniboxing-plugin
  Miniboxing is a program transformation that improves the performance of Scala generics when used with primitive types. It can speed up ge…
  ☆121Updated 4 years ago
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆89Updated last month
• storm-enroute / coroutines
  Scala coroutines implementation.
  ☆163Updated 7 years ago
• ThoughtWorksInc / Compute.scala
  Scientific computing with N-dimensional arrays
  ☆200Updated 7 months ago
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆63Updated 3 years ago
• gkossakowski / kentuckymule
  Limits of Scala typechecking speed
  ☆155Updated 3 years ago
• stanford-ppl / Forge
  A prototype meta DSL that generates Delite DSL implementations from a specification-like program.
  ☆51Updated 8 years ago
• epfldata / sc-public
  Example DSLs for working with SC
  ☆22Updated 7 years ago
• scala / scala-continuations
  the Scala delimited continuations plugin and library
  ☆89Updated 4 years ago
• yawaramin / scala-modules
  Experimental implementations of ML-style modules in Scala
  ☆147Updated 9 years ago
• pablosmedina / ckite
  CKite - A JVM implementation of the Raft distributed consensus algorithm written in Scala
  ☆213Updated 6 years ago
• emmalanguage / emma
  A quotation-based Scala DSL for scalable data analysis.
  ☆63Updated 2 years ago