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 4 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
  ☆217Updated 7 years ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆162Updated 10 months ago
• epfldata / squid
  Squid – type-safe metaprogramming and compilation framework for Scala
  ☆199Updated last year
• scalan / scalan
  Generic framework for development of domain-specific compilers in Scala
  ☆96Updated 7 years ago
• TiarkRompf / lms-clean
  ☆54Updated last year
• greedy / scala
  My fork of scala (includes the llvm backend)
  ☆266Updated 11 years ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆123Updated last year
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆175Updated 3 years ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆366Updated 2 weeks ago
• djspiewak / parseback
  A Scala implementation of parsing with derivatives
  ☆197Updated 5 years ago
• heathermiller / spores
  Scala Spores, safe mobile closures.
  ☆127Updated 6 years ago
• nbronson / scala-stm
  A library-based Software Transactional Memory (STM) for Scala, coupled with transactional sets and maps
  ☆249Updated last year
• TiarkRompf / scala-virtualized
  The Scala Programming Language: Virtualized
  ☆104Updated 9 years ago
• scala / scala-continuations
  the Scala delimited continuations plugin and library
  ☆89Updated 4 years ago
• ThoughtWorksInc / Compute.scala
  Scientific computing with N-dimensional arrays
  ☆200Updated 5 months ago
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆63Updated 3 years ago
• feiwang3311 / Lantern
  ☆168Updated 3 years ago
• yawaramin / scala-modules
  Experimental implementations of ML-style modules in Scala
  ☆147Updated 9 years ago
• djspiewak / gll-combinators
  A parser combinator library based on the GLL algorithm
  ☆303Updated 7 months ago
• Chymyst / chymyst-core
  Declarative concurrency in Scala - The implementation of the chemical machine
  ☆157Updated 2 years ago
• typelevel / scala
  Typelevel Scala, a fork of Scala
  ☆371Updated 4 years ago
• emmalanguage / emma
  A quotation-based Scala DSL for scalable data analysis.
  ☆63Updated 2 years ago
• ThoughtWorksInc / Dsl.scala
  A framework to create embedded Domain-Specific Languages in Scala
  ☆254Updated last month
• chrisokasaki / scads
  Scala Algorithms and Data Structures
  ☆233Updated 8 years ago
• gkossakowski / kentuckymule
  Limits of Scala typechecking speed
  ☆156Updated 3 years ago
• ivtoskov / lms-intrinsics
  A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).
  ☆40Updated 6 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
• Verizon / quiver
  A reasonable library for modeling multi-graphs in Scala
  ☆200Updated 6 years ago