leithaus/SpecialK leithaus/SpecialK

  • Stars
    star
    64
  • Rank 470,272 (Top 10 %)
  • Language
    Scala
  • Created almost 14 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
leithaus/SpecialK
github

leithaus

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

DataLog meets NoSql

More Repositories

1

XTrace

An XML-validation-based trace validator
Scala
92
star
2

Rosette

Reflective actor-based language
C++
28
star
3

casper

Formal specification and reference implementation of Casper
TeX
15
star
4

pi4u

A collection of papers about new models and applications of mobile process calculi
TeX
12
star
5

rhocaml

OCaml implementation of rho calculus
OCaml
7
star
6

rho4u

New papers about the rho-calculus
TeX
7
star
7

talks

public talks
TeX
6
star
8

stockholm

Stockholm is a maven archetype for creating DSLs
Java
6
star
9

vorpal

experimental dsl definition tool
Java
5
star
10

agency

Experimental implementation of Luis Caires spatial-behavioral types
2
star
11

davinci

Language and runtime cacaoweb
OCaml
2
star
12

platform-agent

platform agent life cycle test
JavaScript
1
star
13

pixillion

A group mood ring
Java
1
star
14

SLMC-Scala-Port

Scala port of the SLMC
OCaml
1
star
15

strategies

A simple implementation of session-based streams
JavaScript
1
star
16

Disciples-of-Pop

Disciples of Pop
1
star
17

Magritte

An experimental analytics-in-the-cloud framework
Java
1
star
18

coffin

initial coffin project container
ActionScript
1
star
19

differential

kitchen sink container for data type differential
Java
1
star
20

seleKt

semantic search for the lambda calculus
Java
1
star
21

GLoSEval

Network evaluator for Generalized Language of Streams
TeX
1
star