Core components for the Scribble Java tools
☆59Oct 3, 2024Updated last year
Alternatives and similar repositories for scribble-java
Users that are interested in scribble-java are comparing it to the libraries listed below
Sorting:
- Multiparty Session Types toolKit☆15May 7, 2025Updated 9 months ago
- Blackboard implements a TupleSpace on top of redis☆38Jul 14, 2009Updated 16 years ago
- A rule-based stream reasoning engine utilizing sliding windows☆10Jun 3, 2022Updated 3 years ago
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- SecEr: Erlang Code Evolution Control Tool☆12Jul 26, 2022Updated 3 years ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Nov 13, 2017Updated 8 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆17Jun 24, 2020Updated 5 years ago
- A simple but effective pure GNU Prolog client connecting with Redis, no libraries required.☆16Nov 1, 2016Updated 9 years ago
- Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"☆15Jan 11, 2018Updated 8 years ago
- Programming language based on the synchronous and constraint paradigms☆15Oct 13, 2020Updated 5 years ago
- Session programming in Scala☆58Jun 17, 2021Updated 4 years ago
- Benchmarking environment for http servers☆22Jan 9, 2026Updated last month
- Examples for skawa_components☆15Mar 2, 2020Updated 5 years ago
- Evolutionary multi agent system☆16Apr 28, 2015Updated 10 years ago
- Cannonball—the magnetic poetry app☆15Jan 21, 2020Updated 6 years ago
- Core library for erlpress☆20Oct 4, 2018Updated 7 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Feb 18, 2026Updated last week
- Rebar plug-in for GRiSP☆23Feb 21, 2026Updated last week
- Session types in Idris2!☆27Dec 14, 2020Updated 5 years ago
- Curated BEAM language libraries by category☆29Jan 23, 2024Updated 2 years ago
- An ABNF parser generator for Erlang.☆47Nov 9, 2022Updated 3 years ago
- A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology☆21Mar 20, 2021Updated 4 years ago
- erlang interface to kinesis client library via MultiLangDaemon☆39Jul 1, 2024Updated last year
- Multiparty Session Types in OCaml☆59Nov 1, 2024Updated last year
- Open RVC-CAL Compiler☆35Jan 14, 2020Updated 6 years ago
- Linked Data Capabilities reference implementation☆29May 22, 2025Updated 9 months ago
- Haskell program configuration using higher kinded data☆29May 21, 2024Updated last year
- Embed typed ASN.1 grammars in OCaml☆36Dec 17, 2024Updated last year
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- ☆29Nov 30, 2024Updated last year
- WebAssembly interop libraries for Dart☆27Jul 26, 2021Updated 4 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆38Oct 21, 2019Updated 6 years ago
- Toolchain and Examples for GRISP☆28Aug 19, 2021Updated 4 years ago
- Apache Spark Scala utility to track data records during application execution☆11Jun 12, 2023Updated 2 years ago
- simple erlang release management☆48Jan 16, 2019Updated 7 years ago
- OCaml for PIC microcontrollers☆35Apr 19, 2022Updated 3 years ago
- Data sets and ML models versioning example from DVC get started☆10Jun 4, 2024Updated last year
- Run an OCaml program as an erlang node☆29Mar 25, 2016Updated 9 years ago
- A lightweight Erlang VM for Android☆33Apr 2, 2020Updated 5 years ago