Richard Hajek's starred repositories

bruno

Opensource IDE For Exploring and Testing Api's (lightweight alternative to postman/insomnia)

Language:JavaScriptLicense:MITStargazers:22498Issues:68Issues:1647

Awesome-Linux-Software

🐧 A list of awesome Linux softwares

z

z - jump around

Language:ShellLicense:WTFPLStargazers:16221Issues:170Issues:232

universal-android-debloater

Cross-platform GUI written in Rust using ADB to debloat non-rooted android devices. Improve your privacy, the security and battery life of your device.

Language:RustLicense:GPL-3.0Stargazers:14921Issues:124Issues:738

sqlmodel

SQL databases in Python, designed for simplicity, compatibility, and robustness.

Language:PythonLicense:MITStargazers:13713Issues:149Issues:333

quickemu

Quickly create and run optimised Windows, macOS and Linux virtual machines

Language:ShellLicense:MITStargazers:10027Issues:78Issues:541

awesome-godot

A curated list of free/libre plugins, scripts and add-ons for Godot

jnv

Interactive JSON filter using jq

Language:RustLicense:MITStargazers:4626Issues:14Issues:27

nvitop

An interactive NVIDIA-GPU process viewer and beyond, the one-stop solution for GPU process management.

Language:PythonLicense:Apache-2.0Stargazers:4365Issues:26Issues:82

cppinsights

C++ Insights - See your source code with the eyes of a compiler

Language:C++License:MITStargazers:3985Issues:67Issues:243

btfs

A bittorrent filesystem based on FUSE.

Language:C++License:GPL-3.0Stargazers:3869Issues:57Issues:61

Aliucord

A modification for the Discord Android App

Language:JavaLicense:OSL-3.0Stargazers:3506Issues:55Issues:207

alien

ALIEN is a CUDA-powered artificial life simulation program.

Language:C++License:BSD-3-ClauseStargazers:3484Issues:49Issues:69

fsrs4anki

A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm

Language:Jupyter NotebookLicense:MITStargazers:2428Issues:27Issues:379

ingestr

ingestr is a CLI tool to copy data between any databases with a single command seamlessly.

Language:PythonLicense:MITStargazers:2427Issues:17Issues:17

the-mirror

The open-source Roblox & UEFN alternative giving you freedom to own what you create. An all-in-one, real-time, collaborative game development platform built on Godot.

Language:GDScriptLicense:NOASSERTIONStargazers:1110Issues:18Issues:99

filesystem_spec

A specification that python filesystems should adhere to.

Language:PythonLicense:BSD-3-ClauseStargazers:974Issues:21Issues:676

OpenFactVerification

Loki: Open-source solution designed to automate the process of verifying factuality

Language:PythonLicense:MITStargazers:927Issues:5Issues:6

mountaineer

Mountaineer is a batteries-included web framework for Python.

Language:PythonLicense:MITStargazers:833Issues:4Issues:35

whenever

⏰ Modern datetime library for Python, written in Rust

Language:PythonLicense:MITStargazers:752Issues:8Issues:50

openapi-autospec

Proxy server that generates API specs for any app or website on localhost.

libhl

Simple and fast C library implementing a thread-safe API to manage hash-tables, linked lists, lock-free ring buffers and queues

Language:CLicense:LGPL-3.0Stargazers:419Issues:36Issues:25

tbvaccine

A small utility to pretty-print Python tracebacks. ⛺

Language:PythonLicense:MITStargazers:376Issues:6Issues:20

dotenv

Standalone, language agnostic dotenv

Language:CLicense:NOASSERTIONStargazers:328Issues:2Issues:0

checkedthreads

checkedthreads: no race condition goes unnoticed! Simple API, automatic load balancing, Valgrind-based checking

Language:CLicense:BSD-2-ClauseStargazers:287Issues:24Issues:0

hematita

A memory safe Lua interpreter

Language:RustLicense:GPL-3.0Stargazers:206Issues:2Issues:11

enderdragon

Ghidra in Minecraft

Language:KotlinLicense:MITStargazers:99Issues:2Issues:1

LegacyLauncher

Legacy custom launcher for installing and updating Spoutcraft and Minecraft.

Language:JavaLicense:NOASSERTIONStargazers:95Issues:22Issues:0

LLMs-World-Models-for-Planning

The source code of the paper "Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Planning".

gpuTrace

In the same spirit as strace and ltrace, gpuTrace will trace the interactions between cuda/ocl application and the GPU

Language:CLicense:GPL-2.0Stargazers:6Issues:4Issues:0