jmg-duarte

José Duarte's starred repositories

borgo

Borgo is a statically typed language that compiles to Go.

Language:Rust360200

pyinfra turns Python code into shell commands and runs them on your servers. Execute ad-hoc commands and write declarative operations. Target SSH servers, local machine and Docker containers. Fast and scales from one server to thousands.

Language:PythonMIT374400

extension.js

🧩 Plug-and-play, zero-config, cross-browser extension development tool.

Language:TypeScriptMIT352200

angle-grinder

Slice and dice logs on the command line

Language:RustMIT343500

awesome-rust-tools

Harness the power of Rust. Those fast productivity tools based on Rust.

MIT30600

smartcheck

SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).

Language:HTMLGPL-3.035900

apalache

APALACHE: symbolic model checker for TLA+ and Quint

Language:ScalaApache-2.042000

redka

Redis re-implemented with SQLite

Language:GoBSD-3-Clause330200

wxt

⚡ Next-gen Web Extension Framework

Language:TypeScriptMIT347200

docuowl

🦉 A documentation generator

Language:GoMIT129300

pgmock

In-memory Postgres for unit/E2E tests

Language:JavaScriptMIT109500

onyx

✨ The compiler and developer toolchain for Onyx

Language:CBSD-2-Clause54800

gritql

GritQL is a query language for searching, linting, and modifying code.

Language:RustMIT281600

Microsoft-Activation-Scripts

A Windows and Office activator using HWID / Ohook / KMS38 / Online KMS activation methods, with a focus on open-source code and fewer antivirus detections.

Language:BatchfileGPL-3.08834900

ravi

Ravi is a dialect of Lua, featuring limited optional static typing, JIT and AOT compilers

Language:CNOASSERTION115800

garnet

Garnet is a remote cache-store from Microsoft Research that offers strong performance (throughput and latency), scalability, storage, recovery, cluster sharding, key migration, and replication features. Garnet can work with existing Redis clients.

Language:C#MIT984900

AtemSwitcher

Blackmagic Atem Mini auto switcher

Language:C#MIT1200

kestra

Infinitely scalable, event-driven, language-agnostic orchestration and scheduling platform to manage millions of workflows declaratively in code.

Language:JavaApache-2.0722700

rchain

Blockchain (smart contract) platform using CBC-Casper proof of stake + Rholang for concurrent execution.

Language:ScalaNOASSERTION69100

hatchet

A distributed, fault-tolerant task queue

Language:GoMIT387100

pingora

A library for building fast, reliable and evolvable network services.

Language:RustApache-2.02057100

compiler

Cell compiler

MIT11300

flyde

🌟 Open-source, visual programming for developers. Includes a VS Code extension, integrates with existing TypeScript code, browser and Node.js.

Language:TypeScriptNOASSERTION191800

MAIAN

MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts

Language:PythonMIT55300

shen-sources

Shen language kernel sources for porters

Language:ShenNOASSERTION34800

juju

Orchestration engine that enables the deployment, integration and lifecycle management of applications at any scale, on any infrastructure (Kubernetes or otherwise).

Language:GoNOASSERTION235500

minitrace-rust

Extremely fast tracing library for Rust

Language:RustApache-2.072600

Firefox-UI-Fix

🦊 I respect proton UI and aim to improve it.

Language:SCSSMPL-2.0527800

professional-programming

A collection of learning resources for curious software engineers

Language:PythonMIT4600300

dojo-recursive-bins

3d printable bin generator using blender geometry nodes

42400