automan-lang / AutoMan
Human-Computation Runtime
☆48Updated last year
Alternatives and similar repositories for AutoMan
Users that are interested in AutoMan are comparing it to the libraries listed below
Sorting:
- ☆58Updated 8 years ago
- Fast Parser Combinators☆27Updated 10 years ago
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆52Updated 8 years ago
- Saul : Declarative Learning-Based Programming☆64Updated 5 years ago
- Helpers to write Jupyter / IPython kernels on the JVM☆21Updated 8 years ago
- js.scala: JavaScript as an embedded DSL in Scala☆176Updated 9 years ago
- Playground for instrumenting `scalac` using AspectJ.☆43Updated 10 years ago
- A system and a Java API for large-scale graph processing based on Google's Pregel☆64Updated 12 years ago
- A Datalog API for Spark☆26Updated 8 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆32Updated 10 years ago
- GPU programming in Scala☆61Updated 12 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- ☆23Updated 11 years ago
- A lisp interpreter and compiler, written in Scala. Compiles Lisp to Scala !☆48Updated 9 years ago
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Updated 10 years ago
- A library of machine learning algorithms implemented using principles of functional programming.☆23Updated 8 years ago
- Gust is a set of GPU extensions for Breeze.☆33Updated 10 years ago
- Scala Library and Domain-Specific Language (DSL) for Modeling & Simulation☆76Updated last year
- SociaLite: query language for large-scale graph analysis and data mining☆109Updated 8 years ago
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Updated 7 years ago
- The Delite Git Repo☆221Updated 8 years ago
- the Scala delimited continuations plugin and library☆89Updated 4 years ago
- Typesafe, purely functional Computational Intelligence☆124Updated 2 years ago
- Tutorials on Lightweight Modular Staging☆121Updated 7 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- Data management utilities for Scala☆19Updated 8 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- Graphulo: Accumulo library of matrix math primitives and graph algorithms☆78Updated last year
- Scala Algebra System☆16Updated 3 weeks ago
- Library for building reproducible data pipelines to support experimentation☆20Updated 9 years ago