Skip to content
View pablocostass's full-sized avatar

Highlights

  • Pro

Organizations

@erlef

Block or report pablocostass

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

Concurrency permutation testing tool for Rust.

Rust 2,089 110 Updated Sep 15, 2024

Phoenix Playground makes it easy to create single-file Phoenix applications.

Elixir 203 19 Updated Sep 3, 2024

A lightweight window border system for macOS

C 1,045 18 Updated Aug 16, 2024

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust 47,312 2,742 Updated Sep 21, 2024

Property Testing library in Ruby

Ruby 83 10 Updated Aug 17, 2024

Static typechecker for Erlang

Erlang 45 8 Updated Sep 18, 2024

A Rust compiler front-end for IDEs

Rust 14,092 1,568 Updated Sep 20, 2024

Erlang Language Platform. LSP server and CLI.

Rust 236 19 Updated Sep 17, 2024

Automated property based testing for Rust (with shrinking).

Rust 2,353 144 Updated Dec 12, 2023

Hypothesis-like property testing for Rust

Rust 1,676 157 Updated Sep 8, 2024

🔍 An automatic REST API fuzzing tool based on property-based testing techniques.

Erlang 12 2 Updated Dec 21, 2023

z - jump around

Shell 16,305 1,169 Updated Jun 19, 2024

Send and receive real time events over HTTP connections

Erlang 6 Updated Jul 18, 2023

💎 Robust job processing in Elixir, backed by modern PostgreSQL and SQLite3

Elixir 3,276 309 Updated Sep 16, 2024

✨ Magical shell history

Rust 20,220 549 Updated Sep 16, 2024

Portable Bitwise Manipulation Intrinsics

Rust 43 10 Updated Feb 6, 2024

A behaviour for creating language servers.

Elixir 96 9 Updated May 31, 2024

A rebar3 plugin to get external dependencies.

Erlang 7 1 Updated Mar 6, 2024

erlfuzz is a fuzzer for the Erlang ecosystem

Rust 123 5 Updated Jul 30, 2024

Sync little subsets of your Postgres data into local apps and services.

Elixir 6,154 143 Updated Sep 17, 2024

Rich-CRDT database based on AntidoteDB.

Erlang 116 2 Updated Feb 1, 2023

A new markup-based typesetting system that is powerful and easy to learn.

Rust 32,798 880 Updated Sep 20, 2024

Interactive visualizations of Rust at compile-time and run-time

Rust 1,946 44 Updated Sep 12, 2024

Distributed Dynamic Profiling for the BEAM

Elixir 170 4 Updated Feb 13, 2024

A load-testing framework for running massively parallel tests

Erlang 96 23 Updated Aug 12, 2024

Rebar3 plugin to build docker images

Erlang 19 1 Updated May 9, 2024

Easy and extensible benchmarking in Elixir providing you with lots of statistics!

Elixir 1,407 66 Updated Jul 7, 2024

📟 Gleam support for VS Code

TypeScript 155 30 Updated Aug 30, 2024
C++ 31 2 Updated Oct 16, 2022

Elixir tool for benchmarking EVM performance

Elixir 82 2 Updated Nov 17, 2023
Next