ljmf00

Luís Ferreira's starred repositories

public-gateway-checker

Checks which public gateways are online or not

Language:TypeScriptNOASSERTION160500

compiler-potpourri

Tools for a compilers course

Language:OCaml11000

semantic-pull-requests

:robot: Let the robots take care of the semantic versioning

Language:JavaScriptApache-2.0123800

berty

Berty is a secure peer-to-peer messaging app that works with or without internet access, cellular data or trust in the network

Language:GoNOASSERTION744800

scalameta

Library to read, analyze, transform and generate Scala programs

Language:ScalaBSD-3-Clause110300

sbt-scalafmt

sbt plugin for Scalafmt

Language:ScalaApache-2.019400

rmkit

| remarkable app framework | https://rmkit.dev

Language:C++35100

mill

Mill is a graph-based JVM build tool that supports Java and Scala. Mill aims to make your project’s build process performant, maintainable, and flexible

Language:ScalaMIT200500

scalafix

Refactoring and linting tool for Scala

Language:ScalaBSD-3-Clause81400

numpy

The fundamental package for scientific computing with Python.

Language:PythonNOASSERTION2723400

interop-cats

ZIO instances for cats-effect type classes

Language:ScalaApache-2.015700

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Language:ZigMIT3292200

go-unixfs

Implementation of a unix-like filesystem on top of an ipld merkledag

Language:GoMIT10700

blake2-d

Pure D implementation of BLAKE2 + DUB package

Language:DBSL-1.0700

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Language:LLVMNOASSERTION2722400

remark42

comment engine

Language:GoMIT478200

alive2

Automatic verification of LLVM optimizations

Language:C++MIT73800

z3

The Z3 Theorem Prover

Language:C++NOASSERTION1001600

craftinginterpreters

Repository for the book "Crafting Interpreters"

Language:HTMLNOASSERTION857400

gcc

GNU D Compiler Development Repository

Language:C++GPL-2.06100

Waybar

Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:

Language:C++MIT599400

qtile

:cookie: A full-featured, hackable tiling window manager written and configured in Python (X11 + Wayland)

Language:PythonMIT471200

python-elfo

ELF file deserializer and serializer library

Language:PythonEUPL-1.2300

pixie

Instant Kubernetes-Native Application Observability

Language:C++Apache-2.0542000

pyelftools

Parsing ELF and DWARF in Python

Language:PythonNOASSERTION195100

tree.d

Tree - simple fast compact user-readable binary-safe extensible structural format

Language:DUnlicense19600

strictyaml

Type-safe YAML parser and validator.

Language:PythonMIT144100

tracy

Frame profiler

Language:C++NOASSERTION888000

nvim-dap

Debug Adapter Protocol client implementation for Neovim

Language:LuaGPL-3.0520500

nvim-dap-ui

A UI for nvim-dap

Language:LuaMIT246400