Defelo

Felix's starred repositories

refinery

Powerful SQL migration toolkit for Rust.

Language:RustMIT126800

cornucopia

Generate type-checked Rust from your PostgreSQL.

Language:RustNOASSERTION77700

wild

Language:RustApache-2.040400

hyfetch

🏳️‍🌈 🏳️‍⚧️ Neofetch with LGBTQ+ pride flags!

Language:ShellMIT119100

nix-on-droid

Nix-enabled environment for your Android device. [maintainers=@t184256,@Gerschtli]

Language:NixMIT118100

PrideFetch

🏳️‍⚧️ Prideful system stats fetch script.

Language:PythonMIT3200

proxmox-nixos

The Proxmox Hypervisor, on NixOS [maintainers=@camillemndn @julienmalka]

Language:NixAGPL-3.039200

devenv

Fast, Declarative, Reproducible, and Composable Developer Environments

Language:NixApache-2.0379400

linkme

Safe cross-platform linker shenanigans

Language:RustApache-2.060700

cackle

A code ACL checker for Rust

Language:RustNOASSERTION18500

nix-buildproxy

Providing reproducible HTTP/HTTPS responders to builds that just can not live without

Language:NixMIT9700

disko

Declarative disk partitioning and formatting using nix [maintainer=@Lassulus]

Language:NixMIT150000

hurl

Hurl, run and test HTTP requests with plain text.

Language:RustApache-2.01237000

vscodium

binary releases of VS Code without MS branding/telemetry/licensing

Language:ShellMIT2443600

NixVirt

LibVirt domain management for Nix

Language:NixMIT12700

creusot

Creusot helps you prove your code is correct in an automated fashion.

Language:RustLGPL-2.1108200

DreamBerd

perfect programming language

NOASSERTION1097000

Piped

An alternative privacy-friendly YouTube frontend which is efficient by design.

Language:VueAGPL-3.0788900

infrastructure

The NixOS server configuration for Bootstrap Academy - Learn Computer Science Online

Language:NixNOASSERTION500

btrbk

Tool for creating snapshots and remote backups of btrfs subvolumes

Language:PerlGPL-3.0159100

nixos-infect

[GPLv3+] install nixos over the existing OS in a DigitalOcean droplet (and others with minor modifications)

Language:ShellGPL-3.0125700

challenges-ms

Language:RustNOASSERTION200

events-ms

The official events microservice of Bootstrap Academy - Learn Computer Science Online

Language:PythonNOASSERTION200

jobs-ms

The official jobs microservice of Bootstrap Academy - Learn Computer Science Online

Language:PythonNOASSERTION200

shop-ms

The official shop microservice of Bootstrap Academy - Learn Computer Science Online

Language:PythonNOASSERTION200

skills-ms

The official skills microservice of Bootstrap Academy - Learn Computer Science Online

Language:PythonNOASSERTION200

auth-ms

The official auth microservice of Bootstrap Academy - Learn Computer Science Online

Language:PythonNOASSERTION300

gitoxide

An idiomatic, lean, fast & safe pure Rust implementation of Git

Language:RustApache-2.0851400

wgtunnel

An alternative Android client app for WireGuard VPN

Language:KotlinMIT63900

shoelace

A collection of professionally designed, every day UI components built on Web standards. SHOELACE IS BECOMING WEB AWESOME 👇👇👇

Language:TypeScriptMIT1237400