avella2409

avella2409's Stars

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

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown321k5.5k70829.7k

• 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.2k62261.1k

• firecracker-microvm/firecracker

  Secure and fast microVMs for serverless computing.

  Language:Rust26.6k3331.4k1.8k

• valkey-io/valkey

  A flexible distributed key-value datastore that is optimized for caching and other realtime workloads.

  Language:C18.3k107422694

• 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.8k1771.2k638

• salesforce/CodeGen

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

  Language:Python5k8176382

• extism/extism

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

  Language:Rust4.6k34139125

• roc-lang/roc

  A fast, friendly, functional language.

  Language:Rust4.6k1072.7k320

• scala-native/scala-native

  Your favorite language gets closer to bare metal.

  Language:Scala4.5k1301.6k368

• zio/zio

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

  Language:Scala4.1k1132.6k1.3k

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.6k651.2k379

• flix/flix

  The Flix Programming Language

  Language:Scala2.2k263.8k155

• zio/zio-quill

  Compile-time Language Integrated Queries for Scala

  Language:Scala2.2k601k346

• getkyo/kyo

  Toolkit for Scala Development

  Language:Scala5732815150

• Iltotore/iron

  Strong type constraints for Scala

  Language:Scala4751511845

• kitlangton/neotype

  A friendly newtype library for Scala 3

  Language:Scala17551720

• spotify/dataenum

  Algebraic data types in Java.

  Language:Java16716916

• johanhaleby/occurrent

  Unintrusive Event Sourcing Library for the JVM

  Language:Java130514716

• tonivade/purefun

  Functional Programming library for Java

  Language:Java1278414

• zio/zio-petclinic

  An idiomatic pet clinic application written with ZIO.

  Language:Scala102174122

• scala/toolkit

  The batteries-included Scala

  Language:Scala92222113

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

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

  Language:Scala903718

• zio/zio-dynamodb

  Simple, type-safe, and efficient access to DynamoDB

  Language:Scala3857920