Skip to content
View joulook's full-sized avatar
70 followers · 195 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Block or report joulook

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

9 stars written in Scala
Clear filter

typelevel / fs2

Compositional, streaming I/O library for Scala

Scala 2,433 622 Updated Dec 16, 2025

typelevel / cats-effect

The pure asynchronous runtime for Scala

Scala 2,196 565 Updated Dec 16, 2025

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint

Scala 508 44 Updated Dec 11, 2025

viperproject / silicon

Symbolic-execution-based verifier for the Viper intermediate verification language.

Scala 125 36 Updated Dec 18, 2025

utwente-fmt / vercors

The VerCors verification toolset for verifying parallel and concurrent software

Scala 85 32 Updated Dec 17, 2025

typelevel / weaver-test

A test framework that runs everything in parallel.

Scala 76 14 Updated Dec 16, 2025

epfl-lara / lisa

Proof assistant based on first-order logic and set theory

Scala 64 23 Updated Dec 4, 2025

uuverifiers / tricera

TriCera: a model checker for C programs

Scala 26 13 Updated Dec 18, 2025

pruemmer / kpn-contracts

A small tool to infer contracts of Kahn process networks

Scala 1 Updated Jun 7, 2024