Deliver web apps with confidence 🚀

A progressive Node.js framework for building efficient, scalable, and enterprise-grade server-side applications with TypeScript/JavaScript 🚀

Refinement types for Scala

Toolkit for Scala Development

Scala JSON Schema

Simple, expressive, and safe UI library for Scala.js

A Nest module wrapper form winston logger

The paper list of the 86-page SCIS cover paper "The Rise and Potential of Large Language Model Based Agents: A Survey" by Zhiheng Xi et al.

Productivity-oriented collection of lightweight fancy stuff for Scala toolchain

A bleeping fast scala build tool!

Quill for Scala 3

Source code for the X Recommendation Algorithm

OpenID, OAuth 2.0, SCIM2.0, UMA2.0, FAPI, CIBA & OPENBANKING Framework for ASP.NET Core

Customer loyalty program

Purely Functional Transaction Management In Scala With Cats

Automatic and customizable compile time transformations between similar case classes and sealed traits/enums, essentially a thing that glues your code. Scala 3 only. Or is it duct 🤔

A curated list of Rust code and resources.

💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)

Cloud cost estimates for Terraform in pull requests💰📉 Shift FinOps Left!

Coz: Causal Profiling

OCaml On Ice - web framework for OCaml in the style of Ruby on Rails

Shen for JavaScript

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

A framework for formally verifying distributed systems implementations in Coq

RabbitMQ Plugin for filtering message duplicates

Formal Reasoning About Programs

ZIO wrapper for Akka Cluster

𝛌 Awesome Idris resources

Extensible algebraic effects with handlers