r2r-dev's starred repositories

zellij

A terminal workspace with batteries included

pkl

A configuration as code language with rich validation and tooling.

Language:JavaLicense:Apache-2.0Stargazers:9781Issues:54Issues:169

unison

A friendly programming language from the future

Language:HaskellLicense:NOASSERTIONStargazers:5630Issues:109Issues:2642

graftcp

A flexible tool for redirecting a given program's TCP traffic to SOCKS5 or HTTP proxy.

Language:CLicense:GPL-3.0Stargazers:1970Issues:32Issues:59

pm

package managers visualization

Language:JavaScriptLicense:MITStargazers:1437Issues:31Issues:37

kcl

KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io

Language:RustLicense:Apache-2.0Stargazers:1394Issues:18Issues:450

de4py

toolkit for python reverse engineering

Language:PythonLicense:GPL-3.0Stargazers:793Issues:19Issues:17

mbox

A lightweight sandbox tool for non-root users

Factorio-SAT

Enhancing the Factorio experience with SAT solvers

Language:PythonLicense:GPL-3.0Stargazers:612Issues:9Issues:12

rust-vfs

A virtual filesystem for Rust

Language:RustLicense:Apache-2.0Stargazers:356Issues:5Issues:36

bash-fun

Functional programming in bash

Language:ShellLicense:MITStargazers:325Issues:10Issues:5

umockdev

Mock hardware devices for creating unit tests and bug reporting

Language:ValaLicense:LGPL-2.1Stargazers:304Issues:22Issues:136

scrapscript

A functional, content-addressable programming language.

Language:PythonLicense:NOASSERTIONStargazers:170Issues:7Issues:43

Decider

An Open Source .Net Constraint Programming Solver

Language:C#License:MITStargazers:149Issues:13Issues:13

efivim

vim ported to UEFI

cctools

The Cooperative Computing Tools (cctools) enable large scale distributed computations to harness hundreds to thousands of machines from clusters, clouds, and grids.

Language:CLicense:NOASSERTIONStargazers:131Issues:19Issues:1223

NixVirt

LibVirt domain management for Nix

Language:NixLicense:MITStargazers:123Issues:4Issues:23

starpls

An LSP implementation for Starlark, the configuration language used by Bazel and Buck2.

Language:RustLicense:Apache-2.0Stargazers:75Issues:5Issues:113

binvis.io

The binvis.io site

GP2

The rule-based graph programming language GP 2

Language:CLicense:GPL-3.0Stargazers:65Issues:14Issues:16

mkblob

Make library independent executable files.

Language:CLicense:GPL-3.0Stargazers:48Issues:3Issues:3

psfiles

A CLI tool to monitor file system activity of a Linux process

Language:C++License:MITStargazers:39Issues:1Issues:0

papaw

A simple, decompressing executable packer

Language:CLicense:MITStargazers:38Issues:4Issues:0

attr-cmd

Build shell commands from Nix attribute sets.

Language:NixStargazers:14Issues:2Issues:0

west2nix

Build West (Zephyr OS) projects with Nix

Language:NixStargazers:8Issues:2Issues:0
Language:CLicense:GPL-3.0Stargazers:6Issues:3Issues:0

binplz.dev

binplz.dev

packelf

Packing Linux ELF program and it's dependencies libraries into standalone executable

Language:ShellStargazers:3Issues:0Issues:0
Language:StarlarkLicense:MITStargazers:1Issues:0Issues:0