Giters
Pejvan Beigui (pejvan)

pejvan

Geek Repo

3

followers

1

following

164

stars

Location:Currently Paris

Github PK Tool:Github PK Tool

Pejvan Beigui's starred repositories

youtube-dl

Command-line program to download videos from YouTube.com and other video sites

Language:PythonLicense:UnlicenseStargazers:130210Issues:2201Issues:26562

stable-diffusion

A latent text-to-image diffusion model

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:66832Issues:555Issues:706

Docker-OSX

Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.

Language:ShellLicense:GPL-3.0Stargazers:36303Issues:383Issues:607

tmux

tmux source code

Language:CLicense:NOASSERTIONStargazers:33941Issues:426Issues:3373

awesome-compose

Awesome Docker Compose samples

Language:HTMLLicense:CC0-1.0Stargazers:32400Issues:426Issues:111

dracula-theme

🧛🏻‍♂️ One theme. All platforms.

License:MITStargazers:22461Issues:186Issues:712

egui

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

Language:RustLicense:Apache-2.0Stargazers:20949Issues:129Issues:1801

pulumi

Pulumi - Infrastructure as Code in any programming language 🚀

Language:GoLicense:Apache-2.0Stargazers:20592Issues:194Issues:7259

spaceship-prompt

:rocket::star: Minimalistic, powerful and extremely customizable Zsh prompt

Language:ShellLicense:MITStargazers:19304Issues:100Issues:664

cosmopolitan

build-once run-anywhere c library

Language:CLicense:ISCStargazers:17473Issues:165Issues:527

dolt

Dolt – Git for Data

Language:GoLicense:Apache-2.0Stargazers:17433Issues:114Issues:2305

zuul

Zuul is a gateway service that provides dynamic routing, monitoring, resiliency, security, and more.

Language:JavaLicense:Apache-2.0Stargazers:13335Issues:907Issues:553

sshuttle

Transparent proxy server that works as a poor man's VPN. Forwards over ssh. Doesn't require admin. Works with Linux and MacOS. Supports DNS tunneling.

Language:PythonLicense:LGPL-2.1Stargazers:11401Issues:143Issues:499

oceanbase

OceanBase is an enterprise distributed relational database with high availability, high performance, horizontal scalability, and compatibility with SQL standards.

Language:C++License:NOASSERTIONStargazers:8083Issues:122Issues:1331

lucid

A collection of infrastructure and tools for research in neural network interpretability.

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:4637Issues:159Issues:177

present

A terminal-based presentation tool with colors and effects.

Language:PythonLicense:Apache-2.0Stargazers:4322Issues:42Issues:89

ModernCppStarter

🚀 Kick-start your C++! A template for modern C++ projects using CMake, CI, code coverage, clang-format, reproducible dependency management and much more.

Language:CMakeLicense:UnlicenseStargazers:4226Issues:68Issues:53

vulture

Find dead Python code

Language:PythonLicense:MITStargazers:3316Issues:27Issues:206

igel

a delightful machine learning tool that allows you to train, test, and use models without writing code

Language:PythonLicense:MITStargazers:3080Issues:65Issues:47

xeus-cling

Jupyter kernel for the C++ programming language

Language:C++License:BSD-3-ClauseStargazers:3024Issues:67Issues:298

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:2853Issues:80Issues:2653

unikraft

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

Language:CLicense:NOASSERTIONStargazers:2472Issues:39Issues:319

hdl_graph_slam

3D LIDAR-based Graph SLAM

Language:C++License:BSD-2-ClauseStargazers:1949Issues:76Issues:226

modern-cpp-template

A template for modern C++ projects using CMake, Clang-Format, CI, unit testing and more, with support for downstream inclusion.

Language:CMakeLicense:UnlicenseStargazers:1660Issues:38Issues:35

cito

Ć programming language. Transpiling to C, C++, C#, D, Java, JavaScript, Python, Swift, TypeScript and OpenCL C.

Language:C++License:GPL-3.0Stargazers:1535Issues:29Issues:72

atheris

Language:PythonLicense:Apache-2.0Stargazers:1350Issues:38Issues:55

utahfs

UtahFS is an encrypted storage system that provides a user-friendly FUSE drive backed by cloud storage.

Language:GoLicense:BSD-3-ClauseStargazers:812Issues:28Issues:35

setup-new-computer-script

This script will help with the quick setup and installation of tools and applications for new developers at Vendasta.

Language:ShellLicense:MITStargazers:761Issues:32Issues:4

pnp

Lecture notes for a short course on proving/programming in Coq via SSReflect.

Language:CoqLicense:BSD-2-ClauseStargazers:155Issues:14Issues:11

hydra-battles

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

Language:CoqLicense:MITStargazers:63Issues:9Issues:25