8000 luigidcsoares (Luigi D. C. Soares) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View luigidcsoares's full-sized avatar

Organizations

@pucminas-luigidomenico

Block or report luigidcsoares

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

repository for JuliaMono, a monospaced font with reasonable Unicode support.

CSS 1,513 31 Updated Jul 12, 2025

An interactive and powerful Git interface for Neovim, inspired by Magit

Lua 4,706 279 Updated Jun 28, 2025

OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched

Python 30,362 2,082 Updated Jul 8, 2025

An optimized pattern matching library for Clojure

Clojure 1,201 64 Updated May 30, 2025

Activities for Emacs (suspend and resume activities, i.e. frames/tabs and their windows, buffers)

Emacs Lisp 269 15 Updated Feb 23, 2025

☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

Rust 49,957 2,157 Updated Jul 16, 2025

Powerful scripting language & versatile interactive shell

Go 6,063 315 Updated Jul 14, 2025
Emacs Lisp 257 17 Updated Jan 16, 2025

A beautiful terminal dashboard for hledger 💰

Go 391 7 Updated Jul 15, 2025

A leiningen template to generate ClojureScript Terminal-User-Interface applications built on web technologies you already know.

Clojure 232 9 Updated Mar 8, 2019

A Terminal UI Framework for Elixir Applications

Elixir 40 2 Updated May 7, 2025

A toolkit for writing command-line user interfaces.

Elixir 475 13 Updated Feb 9, 2025

CLI framework for Elixir, with magic!

Elixir 35 1 Updated May 27, 2025

A TUI (terminal UI) kit for Elixir

Elixir 783 41 Updated Mar 20, 2023

Outliner for taking notes and managing to-do lists

Kotlin 859 59 Updated Jul 16, 2025

A raw implementation of Interoperable Private Attribution

Rust 43 26 Updated Jun 19, 2025

Modernity meets insane extensibility. The future of organizing your life in Neovim.

Lua 6,950 229 Updated Jul 4, 2025

A Python Tool for Social Network Simulations in the Alvim-Knight-Valencia Model

Python 3 Updated Jul 25, 2024

Synthesis of Optimized Hash Functions

C++ 54 3 Updated Dec 11, 2024

This a visualization tool for Quantitative Information Flow (QIF)

C++ 7 2 Updated Apr 5, 2023

A modern proof language

Haskell 3,688 145 Updated Jan 22, 2025

System to recognize infinite languages and react to string events

Jupyter Notebook 26 1 Updated Dec 10, 2023

Ball Larus edge profiling with loop optimization

C++ 32 2 Updated Jul 11, 2025

Program instrumentation and cost function generation

C++ 28 1 Updated Aug 20, 2024

Automate code & data workflows with interactive Elixir notebooks

Elixir 5,410 467 Updated Jul 16, 2025

A modern LaTeX Beamer theme

TeX 6,635 854 Updated Nov 23, 2022

Simple and straight-forward way to create python environments using PyPi in nix

Nix 70 1 Updated Dec 18, 2022

Projects in Quantum Computing and Quantum information Theory (Qiskit, Algorithms, Circuits, Graph Theory and Quantum Mechanics)

Jupyter Notebook 47 11 Updated Apr 24, 2023

Website in org mode

CSS 43 8 Updated Mar 3, 2025

Hooks for faster Emacs startup – GitHub mirror

Emacs Lisp 48 4 Updated Jul 3, 2025
Next
0