bblfish

httpSig

Signing HTTP Messages libs

banana-rdf

Banana RDF

authentication-panel

https://github.com/solid/process/blob/master/panels.md#authentication-panel

bobcats

Typelevel's very own CryptoKitties!

LauncherApp

An App to Launch Other Apps

agda-web-semantic

Agda libraries for the semantic web

banana-play

porting banana to dotty

lens-play

Play Around with Lenses and Optics

rdf.model.js

Scala.js Implementation of rdf.js.org API

rdflib.types

Scala.js facade for rdflib.js

SolidCtrlApp

Solid Control App

agda-categories

A new Categories library for Agda

authorization-panel

Github repository for the Solid Authorization Panel

bblfish

repo for README

CafeX

a very simple exercise

data-interoperability-panel

Repository for the Solid Data Interoperability Panel

docs.scala-lang

The Scala Documentation website

DottyIssue16247

Attempting to duplicate problem described in lampepfl/dotty issue 16247

DynamicalSystemsBook

exercises-cats

Scala Exercises' lessons for the Cats library

ExplainableMLOntology

Work related to the Article Semantic Description of Explainable Machine Learning Workflows for Improving Trust

finance

FreeMonadAndApplicative

Demo of how to combine Free Monads and Applicatives:w

game-of-life-comonad

OWL-API-Play

Scripts to explore ontologies like FIBO with the OWL-API

Perspectives

Perspectives on monads and context in RDF

process

A definition of the culture around how decisions are made about Solid and a record of how this has changed over time

schema_salad

Semantic Annotations for Linked Avro Data

spark-arff-data-source

ARFF data source for Apache Spark supporting traditional, multi-output, and multi-instance learning paradigms

specification

The Solid specifications