nicolasrouquette Goto Github PK

almond

A Scala kernel for Jupyter

alter

Diff and patch algorithms for Scala ADT's

apollo-scalajs-core-example

Example of Apollo-scalajs-code

bay-scalajs.g8

A ScalaJs Template with scaffolding, postgres, scalajs-react and play-framework in the backend

bikeshed

:bike: A preprocessor for anyone writing specifications that converts source files into actual specs.

case-app

Type-level & seamless command-line argument parsing for Scala

catalog

Catalog of shared Tasks and Pipelines.

computational-hypergraph

core-vocabularies

A set of core vocabularies expressed in OML

cs-biocircuits

cs-multiagent-planning

cs-vehicle-perception

Contract-based design for evaluating perception in the context of system-level specifications

dafny-bundle-closure

Bundle closure formalization in Dafny

description-graphs

digraphs

Directed graphs in Lean

dimensional-calculus.lean4

drunk

A simple GraphQL client on top of Sangria, Akka HTTP and Circe.

endpoints

Scala library to define HTTP-based communication protocols

extensionstest

Dotty extensions test

fpp

F Prime Prime: A modeling language for F Prime

frameless

Expressive types for Spark.

frdomain

Code repo for Functional and Reactive Domain Modeling

fuseki-reasoning-example

Examples for SO questions related to Fuseki

git-meta

BETA: Repository for the git-meta project -- effectively manage many repositories with Git submodules

github-workflow-13

gradle-nested-property-test

A reproducible error with gradle custom task and a @Nested property.

graphviz-java

Use graphviz with pure java

http4s

A minimal, idiomatic Scala interface for HTTP

http4s.g8

giter8 template for bootstrapping http4s services

http4s_demo

See how easy http4s makes life