Search *

8 results

scala-js/scala-js

Scala.js, the Scala to JavaScript compiler

Scala versions: 2.13 2.12 2.11 2.10

Scala.js versions: 1.x 0.6

sbt plugins: 1.0 0.13

compiler javascript-compiler language scala

4479 93
opencypher/opencypher

Specification of the Cypher property graph query language

Scala versions: 2.13 2.12

database standard grammar query specification language tck cypher declarative property graph

768 38
verifx-prover/verifx

The VeriFx automated verification language

Scala versions: 2.13

crdts language scala verification

15 1
tofu-tf/cherry

Universal Data design and transform language core

Scala versions: 3.x

compiler dependent-types language

7 5
qwefgh90/comment-parser

The Comment Parser supports various languages based on FSM. It's written by scala and java.

Scala versions: 2.12 2.11

parser parsing java comment scala comment-parser sbt language

2 2
encryfoundation/prismlang

Contract-oriented expression-based scripting language

Scala versions: 2.12

language smart-contracts

1 7
encryfoundation/encrytypelang

Language for abstract type schemas description

Scala versions: 2.12

language

0 1
encryfoundation/encryscript

Transactional language implementation for EncryCore Protocol

Scala versions: 2.12

language script smart-contracts

0 4