avella2409

avella2409's Stars

• johanhaleby/occurrent

  Unintrusive Event Sourcing Library for the JVM

  Language:Java12116

• firecracker-microvm/firecracker

  Secure and fast microVMs for serverless computing.

  Language:Rust25.4k1.8k

• extism/extism

  The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

  Language:Rust4.2k113

• valkey-io/valkey

  A flexible distributed key-value datastore that supports both caching and beyond caching workloads.

  Language:C16.4k611

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown303k28.4k

• tonivade/purefun

  Functional Programming library for Java

  Language:Java1154

• vavr-io/vavr

  vʌvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the lines of code and increase code quality.

  Language:Java5.7k631

• kitlangton/neotype

  A friendly newtype library for Scala 3

  Language:Scala16418

• zio/zio-quill

  Compile-time Language Integrated Queries for Scala

  Language:Scala2.1k346

• sjrd/scalajs-sbt-vite-laminar-chartjs-example

  An example of using Scala.js with sbt, Vite, Laminar and Chart.js

  Language:Scala8818

• flix/flix

  The Flix Programming Language

  Language:Scala2.2k151

• Iltotore/iron

  Strong type constraints for Scala

  Language:Scala45743

• scala-native/scala-native

  Your favorite language gets closer to bare metal.

  Language:Scala4.5k363

• opentofu/manifesto

  The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source license.

  Language:HTML36.2k1.1k

• getkyo/kyo

  Toolkit for Scala Development

  Language:Scala52744

• zio/zio

  ZIO — A type-safe, composable library for async and concurrent programming in Scala

  Language:Scala4.1k1.3k

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k375

• scala/toolkit

  The batteries-included Scala

  Language:Scala8713

• roc-lang/roc

  A fast, friendly, functional language.

  Language:Rust4.2k301

• zio/zio-dynamodb

  Simple, type-safe, and efficient access to DynamoDB

  Language:Scala3717

• salesforce/CodeGen

  CodeGen is a family of open-source model for program synthesis. Trained on TPU-v4. Competitive with OpenAI Codex.

  Language:Python4.9k379

• zio/zio-petclinic

  An idiomatic pet clinic application written with ZIO.

  Language:Scala10321

• spotify/dataenum

  Algebraic data types in Java.

  Language:Java16516