leonardolima

syncthing

Open Source Continuous File Synchronization

react-draggable

React draggable component

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

futhark

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

octosuite

GitHub Data Analysis Framework.

marp-vscode

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

org-ql

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

org-journal

A simple org-mode based journaling mode

emacs-calfw

A calendar framework for Emacs

querido-diario

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

convos

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

judge-server

Judging backend server for the DMOJ online judge.

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

svg-tag-mode

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

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.

etch

A simple, responsive writing theme for Hugo.

Game-Boy-DMG-Color

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

progress

Progress bar library for OCaml

PyFeeds

DIY Atom feeds in times of social media and paywalls

mui-nested-menu

The package lets you nested menu items infinitely deep.

runtime_events_tools

gb-hardware-db

Game Boy hardware database

multicoretests

PBT testsuite and libraries for testing multicore OCaml

memtrace_viewer

Interactive memory profiler based on Memtrace

tracing

Tracing library

sqlpp

relation query language, with typed embedding into OCaml

cloc-emacs

count lines of code over emacs buffers