Skip to content
View dabliuw22's full-sized avatar
🏡
🏡
  • ADDI
  • Bogotá - Colombia

Block or report dabliuw22

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
Kotlin 2 Updated Jul 11, 2024

A Direct-Style Scala Wrapper Around the Structured Concurrency of Project Loom

Scala 26 1 Updated Aug 14, 2024

Porting of the Raise DSL from the Arrow Kt Kotlin library

Scala 37 5 Updated Aug 19, 2024

Nix and Haskell in production

Nix 1,134 118 Updated Sep 22, 2023

Learn all about asynchronous elixir

153 8 Updated Aug 8, 2024
Haskell 1 1 Updated Mar 16, 2021

Strong type constraints for Scala

Scala 441 38 Updated Aug 24, 2024

Some isosurfaces with Haskell.

Haskell 9 Updated Feb 21, 2023

Haskell to JavaScript compiler, based on GHC

Haskell 2,602 187 Updated Jan 21, 2023

Unwrapped is an effects library for Scala 3 that introduces structured concurrency and an abilities system to describe pure functions and programs.

Scala 36 4 Updated Aug 21, 2023

C# functional language extensions - a base class library for functional programming

C# 6,369 413 Updated Aug 21, 2024

📜 Haskell course info, plan, video lectures, slides

Haskell 1,246 53 Updated Jul 9, 2023
Scala 2 Updated Jan 3, 2023

The Flix Programming Language

Scala 2,136 151 Updated Aug 27, 2024

Haskell Documentation Tool

HTML 362 243 Updated Jun 14, 2024

♊ higher-order, no-boilerplate monads

Haskell 1,031 71 Updated Jul 7, 2024

A fast Haskell JSON library

Haskell 1,244 317 Updated Aug 18, 2024

Optics library for Scala

Scala 1,647 205 Updated Aug 27, 2024

The Scala 3 compiler, also known as Dotty.

Scala 5,784 1,039 Updated Aug 27, 2024

🚧 a work in progress effect system for Haskell 🚧

Haskell 550 18 Updated May 5, 2023

Agda is a dependently typed programming language / interactive theorem prover.

Haskell 2,444 339 Updated Aug 27, 2024
Haskell 1 Updated Jun 28, 2021
PureScript 1 Updated May 12, 2022
F# 1 Updated Jun 3, 2022

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

Scala 764 386 Updated Aug 27, 2024
Scala 4 Updated Feb 22, 2021
Haskell 1 Updated Aug 13, 2021
Elm 1 Updated Dec 21, 2020

Writing Fast Parsers Fast in Scala

Scala 1,089 164 Updated Aug 16, 2024

Yet another JSON library for Scala

Scala 2,484 537 Updated Aug 27, 2024
Next