Declarative concurrency and stream processing library for Scala

Find, Filter, Preview, Pick. All lua, all the time.

Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala

OWL in agda

The RMLMapper executes RML rules to generate high quality Linked Data from multiple originally (semi-)structured data sources

HoTTEST Summer School materials

The Function Ontology, and a set of function descriptions (http://w3id.org/function/ontology)

Euler Yet another proof Engine

The Semantic Web Application Platform: cwm etc

Streaming, transforming, SPARQL-based CSV to RDF converter. Apache license.

Literate programming with sbt

Engine for calculating differences between two OWL ontologies.

Unified specification for defining and executing ML workflows, making reproducibility, consistency, and governance easier across the ML pipelines

SHACL implementation in Scala

Scala SPARQL utilities

fs2 pipes for encrypting and decrypting data using BouncyCastle's PGP implementation

A collection of RDF libraries for JavaScript

This project provides Scala.js type-safe bindings for Node.js (current) v8.7.0 and LTS v6.11.4 APIs. The platform supports MEAN (MongoDB, Express, AngularJs, NodeJS), Cassandra, MySQL and many othe…

The Functional and Reactive Web-Frontend Library for Scala.js

Solid Technical Reports

Java Foreign Linker bindings to Lua

The Scala 3 compiler, also known as Dotty.

A scalablytyped facade generated for https://v3.material-ui.com to avoid huge compile times

Minimalistic example of using Laminar and Scala.js to publish static Github Pages website

Running Scala in WebAssembly through Scala Native

Generic programming for Scala

A declarative, efficient, and flexible JavaScript library for building user interfaces.

Abstractions from Category theory with simple description & implementation, links to further resources.

coulomb: unit analysis for Scala