204 repositories found
Clear filters
a collection of scripts that rely on https://github.com/junegunn/fzf
Add-on module for Jackson (https://github.com/FasterXML/jackson) to support Scala-specific datatypes
The MonetDB database was originally developed by the CWI__ `database research group`__ (see Development has now shifted to the spin-off company MonetDB Solutions__.
Github Commands from Google Chrome Omnibox (address bar)
Do Not Merge WIP for GitHub
Change all github repository pages to be full width and dynamically sized.
Giter8 template to get started with Play and Scala.js.
An AI-powered GitHub code review tool that uses LLMs to detect high-confidence, high-impact issues—such as security vulnerabilities, bugs, and maintainability concerns.
An NPM module that displays Github Action progress in the terminal and aims to improve your development experience by printing status in realtime.
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
A chrome extension to make reviewing pull requests in Github a little easier.
A browser extension for insights into GitHub, Gitee projects and developers.