andriusvelykis / isabelle-scala

Related projects ⓘ

Alternatives and complementary repositories for isabelle-scala

• erikerlandson / gnuplot4s
  A well typed scala interface to gnuplot
  ☆10Updated 3 years ago
• typelevel / shapeless-contrib
  Interoperability libraries for Shapeless
  ☆77Updated 7 years ago
• suhailshergill / TTFI
  typed tagless final interpreters
  ☆13Updated 7 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆40Updated 2 years ago
• typelevel / catalysts
  ☆33Updated 5 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• lihaoyi / roll
  A work-in-progress game being developed using scala-js
  ☆34Updated 10 years ago
• rossabaker / benchmarks
  Benchmarks for various Scala streaming and task libraries
  ☆15Updated 7 years ago
• scala-yinyang / scala-yinyang
  Library for deep embedding of DSLs based on Scala macros.
  ☆74Updated 8 years ago
• miniboxing / ildl-plugin
  Data-centric metaprogramming for Scala
  ☆17Updated 9 years ago
• scalacenter / spores
  Scala Spores, safe mobile closures.
  ☆28Updated 6 years ago
• TomasMikula / freeless
  Alternative to Free monads
  ☆34Updated 8 years ago
• noelwelsh / pfennig
  A Probabilistic Functional Programming Language DSL in Scala
  ☆63Updated 8 years ago
• dlwh / gust
  Gust is a set of GPU extensions for Breeze.
  ☆32Updated 9 years ago
• retronym / boxer
  ☆47Updated 4 years ago
• wheaties / TwoTails
  A Scala compiler plugin for mutual tail recursion
  ☆88Updated 4 years ago
• peterneyens / eleutheros
  Free structures a la carte
  ☆13Updated 7 years ago
• pingel-org / axle
  Axle Domain Specific Language for Scientific Cloud Computing and Visualization
  ☆67Updated last year
• firepile / firepile
  GPU programming in Scala
  ☆61Updated 12 years ago
• densh / typelog
  Proof-of-concept Prolog compiler that compiles down to Scala implicits.
  ☆20Updated 8 years ago
• aaronvargo / scalaFP
  Functional experiments in Scala
  ☆21Updated 7 years ago
• ThoughtWorksInc / Q.scala
  Convert any value to code
  ☆12Updated last year
• regb / scabolic
  Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
  ☆32Updated 9 years ago
• TomasMikula / nutcracker
  Problem solving à la carte
  ☆20Updated 2 years ago
• dotty-linker / dotty
  Modified version of dotty suporting language specific and library-specific optimizations
  ☆37Updated 8 years ago
• manojo / parsequery
  A fast parser combinator library, with extra querying goodness
  ☆34Updated 8 years ago
• typelevel / unique
  Unique Functional Values for Scala
  ☆17Updated 2 months ago
• debasishg / typed-tagless-final
  Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes
  ☆33Updated 7 years ago
• runarorama / scala-bound
  A library for developing languages with scoped binders (like forall or lambda).
  ☆28Updated 6 years ago