automan-lang / AutoManLinks
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
- A lisp interpreter and compiler, written in Scala. Compiles Lisp to Scala !☆48Updated 9 years ago
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆52Updated 8 years ago
- js.scala: JavaScript as an embedded DSL in Scala☆176Updated 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
- GPU programming in Scala☆61Updated 13 years ago
- Playground for instrumenting `scalac` using AspectJ.☆43Updated 10 years ago
- ☆23Updated 11 years ago
- Gust is a set of GPU extensions for Breeze.☆33Updated 10 years ago
- Fast Parser Combinators☆27Updated 10 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- Helpers to write Jupyter / IPython kernels on the JVM☆21Updated 8 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- the Scala delimited continuations plugin and library☆89Updated 5 years ago
- Typesafe, purely functional Computational Intelligence☆124Updated 2 years ago
- Saul : Declarative Learning-Based Programming☆64Updated 5 years ago
- Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects☆14Updated 6 years ago
- Wolfe Language and Engine☆134Updated 8 years ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Updated 7 years ago
- Data management utilities for Scala☆19Updated 8 years ago
- A system and a Java API for large-scale graph processing based on Google's Pregel☆63Updated 12 years ago
- A Datalog API for Spark☆26Updated 8 years ago
- A streaming cross-cat inference engine☆49Updated 10 years ago
- Scala utilities for teaching computational linguistics and prototyping algorithms.☆42Updated 12 years ago
- Library-based Language Extensibility☆39Updated 10 years ago
- A new query language designed for building composable and reproducible data processing pipelines☆13Updated 10 months ago
- Axle Domain Specific Language for Scientific Cloud Computing and Visualization☆68Updated 4 months ago
- Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…☆73Updated 7 years ago
- A type-safe, boilerplate-free, key-value store in Scala☆34Updated 7 years ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆138Updated 7 years ago