pierangeloc

pierangeloc's Stars

• iamtrask/Grokking-Deep-Learning

  this repository accompanies the book "Grokking Deep Learning"

  Language:Jupyter Notebook7.2k320501.6k

• pemistahl/grex

  A command-line tool and Rust library with Python bindings for generating regular expressions from user-provided test cases

  Language:Rust7.1k4852170

• fermyon/spin

  Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.

  Language:Rust5.1k44920242

• BartoszMilewski/Publications

  Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

  Language:Haskell1.2k1401634

• zio/zio-http

  A next-generation Scala framework for building scalable, correct, and efficient HTTP clients and servers

  Language:Scala75331695383

• zio/zio-prelude

  A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration

  Language:Scala44042226112

• disneystreaming/smithy4s

  https://disneystreaming.github.io/smithy4s/

  Language:Scala3401527869

• kitlangton/zio-magic

  Construct ZLayers automagically (w/ helpful compile-time errors)

  Language:Scala25294119

• TomasMikula/libretto

  Declarative concurrency and stream processing library for Scala

  Language:Scala19413956

• makingthematrix/scalaonandroid

  A tutorial and examples of how to write Android apps in Scala 2.13 and Scala 3.

  Language:Scala17110410

• zio/zio-aws

  Low level ZIO interface for the full AWS

  Language:Scala13976529

• zio/zio-schema

  Compositional, type-safe schema definitions, which enable auto-derivation of codecs and migrations.

  Language:Scala13616202151

• kitlangton/zio-app

  Quickly create and develop full-stack Scala apps with ZIO and Laminar.

  Language:Scala12482333

• tobia80/zio-entity

  Zio-Entity, a distributed, high performance, functional event sourcing library

  Language:Scala11271210

• laserdisc-io/laserdisc

  A Future-free Fs2 native pure FP Redis client

  Language:Scala9472514

• politrons/FunctionalRust

  Language:Rust90322

• hmemcpy/zio-clippy

  A Scala compiler plugin for better ZIO type mismatch errors.

  Language:Scala88382

• monix/newtypes

  Macro-free helpers for defining newtypes in Scala, cross-compiled to Scala 3.

  Language:Scala84499

• winitzki/linear-algebra-book

  The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)

  Language:TeX777213

• yoohaemin/decrel

  Composable relations for Scala

  Language:Scala703323

• erkal/elm-3d-playground-exploration

  An experimental playground for game development with Elm

  Language:Elm68619

• avast/datadog4s

  Making great monitoring easy in functional Scala

  Language:Scala6262411

• wi101/embroidery

  Language:Scala60320

• jdegoes/functional-data-modeling

  The exercises for the Functional Data Modeling workshop.

  Language:Scala589229

• zivergetech/Zymposium

  Code examples from our weekly Zymposium series.

  Language:Scala351006

• ryanorendorff/functional-linear-algebra

  Formalizing linear algebra in Agda by representing matrices as functions

  Language:Agda25355

• willemvermeer/zmail

  ZIO based smtp server

  Language:Scala22201

• jdegoes/zio-features

  ZIO Features

  Language:Scala21602

• note/teleport-scala

  A native CLI in Scala to quickly move through the filesystem

  Language:Scala21414

• Fristi/twutter

  Building twitter with FaunaDB, Scala 3, ZIO and Caliban

  Language:Scala1100