Skip to content
View jmg-duarte's full-sized avatar
πŸ“¦
Producing blocks...
πŸ“¦
Producing blocks...

Organizations

@novactf

Block or report jmg-duarte

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Starred repositories

1590 results for source starred repositories
Clear filter

Axe programming language

AMPL 148 5 Updated Dec 20, 2025

⚑ Better `pre-commit`, re-engineered in Rust

Rust 2,868 89 Updated Dec 20, 2025

An open-source, self-hosted note-taking service. Your thoughts, your data, your control β€” no tracking, no ads, no subscription fees.

TypeScript 47,318 3,409 Updated Dec 20, 2025

Fast implementation of the tilt-shift effect to create fake miniatures. Works on images and videos.

Python 25 2 Updated Jun 9, 2019

These are my solutions on the popular problems of Damn Vulnerable Defi

Solidity 1 Updated Mar 18, 2025

Unlock your displays on your Mac! Flexible HiDPI scaling, XDR/HDR extra brightness, virtual screens, DDC control, extra dimming, PIP/streaming, EDID override and lots more!

28,694 521 Updated Dec 4, 2025
JavaScript 376 10 Updated Dec 9, 2025

Minimal & malleable language for symbiotic end-user programming

Rust 20 1 Updated Dec 6, 2025

MInimal Musical medIUM - an infrastructural language for sound and music.

Rust 43 3 Updated Dec 15, 2025

Create stunning screen recordings for free. Open-source, no subscriptions, no watermarks, and free for commercial use. An alternative to Screen Studio.

TypeScript 3,698 216 Updated Dec 17, 2025

A computationally transparent language based on higher-dimensional rewriting.

OCaml 6 Updated Nov 12, 2025

verified autofill

553 33 Updated Dec 9, 2025

An open-source framework for verifiably private AI inference

Go 892 29 Updated Dec 15, 2025

Cure language compiling to BEAM with FSM primitives and Dependent types

HTML 84 8 Updated Nov 26, 2025

Open-source media request and discovery manager for Jellyfin, Plex, and Emby.

TypeScript 7,698 521 Updated Dec 19, 2025

A Rust crate for beautiful, artisanally crafted CLIs, TUIs, and text-based IO.

Rust 1,042 21 Updated Dec 1, 2025

Rust-based compiler for the Address Language developed by Kateryna Logvynivna Yushchenko.

Rust 14 1 Updated Jan 24, 2025

Simple Rust profiler with memory and async data-flow insights - quickly find and debug performance bottlenecks.

Rust 1,233 22 Updated Dec 20, 2025

Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels

Rocq Prover 116 2 Updated Nov 25, 2025
TypeScript 98 7 Updated Dec 10, 2025

Skrifa/Read-Fonts-based font QA tool (successor to fontbakery)

Rust 71 14 Updated Dec 20, 2025

Test your fonts across the web by easily overriding fonts on any webpage.

TypeScript 219 8 Updated Oct 19, 2025

πŸ“« Fault tolerant multicore programs with actors

Gleam 802 69 Updated Dec 13, 2025

A fast type checker and language server for Python

Rust 5,072 226 Updated Dec 20, 2025

The best ChatGPT that $100 can buy.

Python 38,938 4,924 Updated Dec 9, 2025

Bezy Grotesk

6 Updated Sep 16, 2025

The awesome document factory

Python 8,456 775 Updated Dec 12, 2025

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

Scala 212 39 Updated Dec 20, 2025

A specialized audio CD-ripper optimized for track recovery.

Rust 28 Updated Oct 31, 2025

Home of the ABS programming language: the joy of shell scripting.

Go 609 36 Updated Apr 27, 2025
Next