Leonardo Lima (leonardolima)

leonardolima

Geek Repo

Location:Denmark

Home Page:nameless.computer

Github PK Tool:Github PK Tool


Organizations
meta-logic
runtime-monitoring

Leonardo Lima's starred repositories

syncthing

Open Source Continuous File Synchronization

Language:GoLicense:MPL-2.0Stargazers:62057Issues:1018Issues:5430

react-draggable

React draggable component

Language:JavaScriptLicense:MITStargazers:8894Issues:80Issues:496

Detours

Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form.

patat

Terminal-based presentations using Pandoc

Language:HaskellLicense:GPL-2.0Stargazers:2359Issues:33Issues:73

futhark

:boom::computer::boom: A data-parallel functional programming language

Language:HaskellLicense:ISCStargazers:2348Issues:67Issues:1362

octosuite

GitHub Data Analysis Framework.

Language:PythonLicense:GPL-3.0Stargazers:1778Issues:29Issues:8

marp-vscode

Marp for VS Code: Create slide deck written in Marp Markdown on VS Code

Language:TypeScriptLicense:MITStargazers:1507Issues:14Issues:199

org-ql

A searching tool for Org-mode, including custom query languages, commands, saved searches and agenda-like views, etc.

Language:Emacs LispLicense:GPL-3.0Stargazers:1360Issues:30Issues:318

org-journal

A simple org-mode based journaling mode

Language:Emacs LispLicense:BSD-3-ClauseStargazers:1229Issues:30Issues:322

emacs-calfw

A calendar framework for Emacs

querido-diario

📰 Diários oficiais brasileiros acessíveis a todos | 📰 Brazilian government gazettes, accessible to everyone.

Language:PythonLicense:MITStargazers:1037Issues:65Issues:455

convos

Convos :busts_in_silhouette: is the simplest way to use IRC in your browser

Language:PerlLicense:Artistic-2.0Stargazers:1012Issues:32Issues:464

judge-server

Judging backend server for the DMOJ online judge.

Language:PythonLicense:AGPL-3.0Stargazers:874Issues:29Issues:466

automated-irrigation-system

This is the software of an open source automated irrigation system. The complete setup including hardware can be found in the README.

verb

Organize and send HTTP requests from Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:490Issues:9Issues:50

svg-tag-mode

A minor mode for Emacs that replace keywords with nice SVG labels

Language:Emacs LispLicense:GPL-3.0Stargazers:478Issues:12Issues:46

practical-fm

A gently curated list of companies using verification formal methods in industry

risotto

A minimalist, responsive hugo theme inspired by terminal ricing aesthetics.

Language:CSSLicense:MITStargazers:363Issues:6Issues:37

etch

A simple, responsive writing theme for Hugo.

Language:CSSLicense:MITStargazers:286Issues:4Issues:27

Game-Boy-DMG-Color

An original Game Boy outfitted with Game Boy Color support and other modern features

Language:C++License:NOASSERTIONStargazers:244Issues:22Issues:4

progress

Progress bar library for OCaml

Language:OCamlLicense:MITStargazers:133Issues:7Issues:16

PyFeeds

DIY Atom feeds in times of social media and paywalls

Language:PythonLicense:AGPL-3.0Stargazers:79Issues:7Issues:85

mui-nested-menu

The package lets you nested menu items infinitely deep.

Language:TypeScriptLicense:MITStargazers:64Issues:2Issues:29

gb-hardware-db

Game Boy hardware database

Language:RustLicense:MITStargazers:37Issues:6Issues:3

multicoretests

PBT testsuite and libraries for testing multicore OCaml

Language:OCamlLicense:BSD-2-ClauseStargazers:36Issues:2Issues:136

memtrace_viewer

Interactive memory profiler based on Memtrace

Language:OCamlLicense:MITStargazers:28Issues:10Issues:12

tracing

Tracing library

Language:OCamlLicense:MITStargazers:27Issues:7Issues:0

sqlpp

relation query language, with typed embedding into OCaml

Language:OCamlStargazers:17Issues:4Issues:0

cloc-emacs

count lines of code over emacs buffers

Language:Emacs LispLicense:GPL-3.0Stargazers:17Issues:3Issues:1