Skip to content
View gurinderu's full-sized avatar

Block or report gurinderu

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Rust implementation of the Fluence network peer

Rust 992 185 Updated Nov 13, 2024

Functional Algorithms Verified in SSReflect [maintainer=@clayrat]

Coq 45 7 Updated Dec 30, 2024

A comprehensive list of books on Software Architecture.

9,962 792 Updated Mar 15, 2023

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Haskell 996 38 Updated Jan 17, 2024

Refactoring and linting tool for Scala

Scala 836 185 Updated Jan 1, 2025

Compositional, streaming I/O library for Scala

Scala 2,380 605 Updated Dec 28, 2024

A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web

OCaml 43 8 Updated May 29, 2022

Multiple instance derivations inside a single macro annotation

Scala 184 40 Updated Jul 1, 2024

purge packages from the github package registry

JavaScript 7 3 Updated Feb 12, 2023

Functional programming great resources

488 50 Updated Apr 17, 2020

Functional GraphQL library for Scala

Scala 949 250 Updated Jan 8, 2025

A big collection of useful ZIO links

Python 137 9 Updated Dec 10, 2021

Functional programming toolbox

Scala 536 94 Updated Dec 12, 2024

community-contributed additions to the Scala 2.13 collections

Scala 112 32 Updated Jan 7, 2025

Retentioneering: product analytics, data-driven CJM optimization, marketing analytics, web analytics, transaction analytics, graph visualization, process mining, and behavioral segmentation in Pyth…

Python 810 124 Updated Dec 1, 2023

Что читать о разработке компиляторов

497 32 Updated Nov 21, 2024

A data access library for Scala + Postgres.

Scala 1,596 163 Updated Jan 7, 2025

Proof theory seminar

Idris 32 2 Updated Apr 6, 2021

Abstractions from Category theory with simple description & implementation, links to further resources.

Scala 379 39 Updated Dec 5, 2024

Simple caching in Scala

Scala 770 120 Updated Aug 12, 2024

Desugaring scala `for` without implicit `withFilter`s

Scala 708 33 Updated May 7, 2024

Typelevel http service definition DSL

Scala 150 28 Updated Aug 19, 2024

Docker containers for testing in scala

Scala 640 126 Updated Dec 27, 2024
Scala 25 15 Updated Feb 8, 2019

scala things

Scala 70 7 Updated Nov 8, 2024

Comparison between different patterns

Scala 27 4 Updated Sep 29, 2017

Your kind censor of telegram chats

Scala 12 1 Updated Jul 29, 2018

Your favorite language gets closer to bare metal.

Scala 4,515 370 Updated Jan 9, 2025

An Open Source Machine Learning Framework for Everyone

C++ 187,177 74,409 Updated Jan 9, 2025
Next