Skip to content
View phaquinosilva's full-sized avatar
  • ECL/UFSC
  • Florianopolis, SC - Brazil

Block or report phaquinosilva

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

Chisel: A Modern Hardware Design Language

Scala 4,055 607 Updated Dec 26, 2024

The entrance repository of Markdown presentation ecosystem

TypeScript 8,091 150 Updated Aug 8, 2024

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

Rust 1,098 23 Updated Sep 20, 2023

AxLS: An Open-Source Framework for Netlist Transformation Approximate Logic Synthesis

Verilog 8 4 Updated Oct 24, 2022

A standard library for Haskell

Haskell 847 54 Updated Aug 8, 2024

Fit and compare complex models reliably and rapidly. Advanced nested sampling.

Python 159 31 Updated Dec 13, 2024

Deep universal probabilistic programming with Python and PyTorch

Python 8,612 984 Updated Dec 4, 2024

MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

C++ 12,478 2,703 Updated Dec 24, 2024

Compile type annotated Python to fast C extensions

1,772 46 Updated Apr 17, 2023
Python 3 Updated Oct 4, 2021

KDE Plasma add-on, that tiles your windows automatically and lets you manage them via keyboard, similarly to i3, Sway or dwm.

TypeScript 2,401 93 Updated May 23, 2024

XMonad™️. Widgets go brr.

Shell 1,772 155 Updated Mar 1, 2024

A huge collection of polybar themes with different styles, colors and variants.

Shell 5,775 414 Updated Dec 17, 2024
Showing results