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 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
- Fast Parser Combinators☆27Updated 10 years ago
- A lisp interpreter and compiler, written in Scala. Compiles Lisp to Scala !☆48Updated 9 years ago
- The BLOG programming language☆98Updated 2 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- The Delite Git Repo☆221Updated 8 years ago
- the Scala delimited continuations plugin and library☆89Updated 4 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
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- Papers I (+ collaborators) have written or am currently writing☆20Updated 7 years ago
- Interactive SQL analytics in your browser!☆22Updated 7 years ago
- Scala utilities for teaching computational linguistics and prototyping algorithms.☆42Updated 12 years ago
- Saul : Declarative Learning-Based Programming☆64Updated 5 years ago
- Helpers to write Jupyter / IPython kernels on the JVM☆21Updated 8 years ago
- ☆23Updated 11 years ago
- Library-based Language Extensibility☆39Updated 10 years ago
- Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects☆14Updated 6 years ago
- GPU programming in Scala☆61Updated 13 years ago
- Tutorials on Lightweight Modular Staging☆122Updated 7 months ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- A JSR223 compliant Jupyter kernel implementation in Java☆62Updated 3 years ago
- Graphulo: Accumulo library of matrix math primitives and graph algorithms☆78Updated last year
- Interactive documentation and programming with Scala, iPython notebook style.☆19Updated 9 years ago
- A Framework for Runtime Code Generation and Compiled DSLs☆329Updated 6 years ago
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆50Updated last year
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆124Updated 2 years ago
- Data Science in Scala - Conf. Talk Repo☆15Updated 9 years ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Updated 7 years ago