Skip to content
View gabrielolivrp's full-sized avatar
🤠
🤠
  • Brazil
  • 05:17 (UTC -03:00)

Highlights

  • Pro

Block or report gabrielolivrp

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Like Vercel, but open source and for all languages.

Python 3,073 98 Updated Nov 28, 2025

🇪🇺 Wire back-end services

Haskell 2,724 333 Updated Nov 28, 2025

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Haskell 9,934 519 Updated Nov 27, 2025

Easy to use library for building Telegram bots in Haskell.

Haskell 120 55 Updated Sep 19, 2025

Dependent type checker using normalisation by evaluation

Haskell 269 8 Updated Sep 5, 2024

Release with confidence, state-of-the-art property testing for Haskell.

Haskell 694 110 Updated Sep 29, 2025

Amazon Web Services for Haskell

Haskell 245 111 Updated Nov 19, 2025

The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming

Kotlin 6,478 459 Updated Nov 28, 2025

The core OCaml system: compilers, runtime system, base libraries

OCaml 6,059 1,189 Updated Nov 27, 2025

The Standard Webhooks specification

Elixir 1,557 46 Updated Jul 11, 2025

Core

Kotlin 45 12 Updated Aug 14, 2025

⭐️ A friendly language for building type-safe, scalable systems!

Rust 20,655 888 Updated Nov 26, 2025

Haskell implemented with combinators

Haskell 648 59 Updated Nov 26, 2025

The Kubernetes Package Manager

Go 29,104 7,427 Updated Nov 26, 2025

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

TypeScript 1,088 103 Updated Nov 27, 2025

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

Haskell 443 35 Updated Sep 3, 2025

Deploy a Production Ready Kubernetes Cluster

Jinja 17,965 6,792 Updated Nov 28, 2025

🧮 Programming with pure lambda calculus

Haskell 131 Updated Nov 18, 2025

📓 Flexible and configurable modern #Haskell logging framework

Haskell 263 51 Updated Nov 21, 2025

Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.

Rust 605 30 Updated Nov 20, 2025

Event Sourcing library for Haskell

Haskell 109 23 Updated Oct 21, 2021

Strict Haskell-like programming language that compiles to LLVM

Haskell 71 3 Updated Oct 31, 2019

bluetooth mesh chat, IRC vibes

Swift 23,414 2,174 Updated Nov 27, 2025

3️⃣ 🍰 Architecture of the Haskell web applications

Haskell 313 26 Updated Apr 6, 2021

Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

Haskell 311 19 Updated Nov 14, 2025

Reddit Clone written in Haskell and Postgres

Haskell 28 4 Updated Jun 13, 2025

🍰🔪 Architecture of Haskell backend applications

Haskell 135 6 Updated Jan 11, 2023

coss.com is the new holding company of cal.com, the pioneers of open source scheduling infrastructure and cal.com continues to be the 'google search' of our alphabet.

TypeScript 8,942 426 Updated Nov 26, 2025

A custom registry of composable, accessible and extensible components designed for use with shadcn/ui. Free and open source, forever.

TypeScript 3,456 156 Updated Nov 18, 2025

♊ higher-order, no-boilerplate monads

Haskell 1,067 73 Updated Mar 15, 2025
Next