dwhjames/datomic-ltl

Stars
10
Rank 1,807,489 (Top 36 %)
Language
Clojure
License
Eclipse Public Li...
Created over 10 years ago
Updated about 10 years ago

dwhjames/datomic-ltl

dwhjames

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

An interpretation of Linear Temporal Logic for Datomic

datomisca

Datomisca: a Scala API for Datomic

aws-wrap

Asynchronous Scala Clients for Amazon Web Services

datomic-q-explain

A query explainer for Datomic

pfds-scala

Chris Okasaki’s Purely Functional Data Structures in Scala

datomic-linklist

A Datomic library of schema attributes and database functions to implement linked-list structures in Datomic.

play-datomisca

Play Datomisca, Play! Framework 2.3 module for Datomic

dpa-demos-scala

Design Pattern Demos in Scala

scala-concurrent-revisions

An implementation of the Concurrent Revisions programming model in Scala

argonaut-spray

Argonaut support for spray (un)marshalling

play-cors

Cross-Origin Resource Sharing (CORS) support for Play

smallcheck4scala

SmallCheck for Scala

datomic-graphite-reporter

A Clojure library that reports Datomic transactor metrics to Graphite

bialgebraic-sorting

Supporting code for WGP ’12 paper: Sorting with Bialgebras and Distributive Laws

smallerdraw

SmallerDraw is a teaching application for the Design Patterns course of the Software Engineering Programme at the University of Oxford

sbt-awseb

An sbt plugin for interacting with AWS Elastic Beanstalk

smalldraw-csharp

SmallDraw in C# is a port of a teaching application originally written in Java for the Design Patterns course of the Software Engineering Programme at the University of Oxford.

github-bot-app

A GitHub Webhook Bot written in Clojure.

dpa-demos-java

Design Pattern Demos in Java