Gnothi is an open-source AI journal and toolkit for self-discovery. If you're interested in getting involved, we'd love to hear from you.

An enhanced Trace for IO

Simple tool to dump a Postgresql table as INSERT statements with ON CONFLICT clause

Protocol for IDEs and build tools to communicate about compile, run, test, debug and more.

Visual Studio Code extension for Metals

A Metals plugin for Neovim

Typechecked markdown documentation for Scala

Code formatter for Scala

Scala language server with rich IDE features 🚀

A data access library for Scala + Postgres.

Example of Features, Reactive and Pure functional programing in Scala

An Afterthought of Prometheus

Desugaring scala `for` without implicit `withFilter`s

DNS automation and governance for streamlining DNS operations and enabling safe and secure DNS self-service

Defines immutable, safe data structures for describing IP addresses, multicast joins, socket addresses and similar IP & network related data types

Elm-inspired Scala library for writing web user interfaces

Single Page Applications running on the server side.

Compact binary for integrating Nelson with your CI

Data structures for pure functional programming in Scala

Automated, multi-region container deployment

JVM bytecode back end for Idris

Provides a functional API for tracing programs across system and network boundaries.

Compositional, streaming I/O library for Scala

A Ruby port of the Typesafe Config library.

Kubernetes Virtual IP address/es using keepalived

Kubernetes Watch API for node

A friendly programming language from the future

Prometheus exporter for Apache.