Carlos Valiente's starred repositories

rust-blog

Educational blog posts for Rust beginners

Language:RustLicense:Apache-2.0Stargazers:6843Issues:0Issues:0

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

Language:RustLicense:MITStargazers:50747Issues:0Issues:0

trustme-cli

A simple tool that generates certificates for local testing

Language:PythonLicense:MITStargazers:35Issues:0Issues:0

awesome-asgi

A curated list of awesome ASGI servers, frameworks, apps, libraries, and other resources

Language:PythonLicense:CC0-1.0Stargazers:1501Issues:0Issues:0

zfs

OpenZFS on Linux and FreeBSD

Language:CLicense:NOASSERTIONStargazers:10277Issues:0Issues:0

haskell-editor-setup

Easy instructions for setting up Haskell editors / IDEs on any major operating system.

Language:HaskellLicense:GPL-3.0Stargazers:101Issues:0Issues:0

netboot

Packages and utilities for network booting

Language:GoLicense:Apache-2.0Stargazers:1464Issues:0Issues:0

waitron

Server installations made easy

Language:GoLicense:NOASSERTIONStargazers:112Issues:0Issues:0

schedule

Python job scheduling for humans.

Language:PythonLicense:MITStargazers:11591Issues:0Issues:0

riscv-bringup

Risc-V journey thru containers and new projects

Language:ShellStargazers:255Issues:0Issues:0

applied-fp-course

Applied Functional Programming Course - Move from exercises to a working app!

Language:HaskellLicense:NOASSERTIONStargazers:621Issues:0Issues:0

terraform-provider-libvirt

Terraform provider to provision infrastructure with Linux's KVM using libvirt

Language:GoLicense:Apache-2.0Stargazers:1541Issues:0Issues:0

lovely-pytest-docker

Pytest plugin providing the ability to use docker-compose services as fixtures.

Language:PythonLicense:Apache-2.0Stargazers:89Issues:0Issues:0

alpine-haskell-stack

Demonstrating how GHC, Alpine, Stack, and Docker can be used together

Language:MakefileLicense:BSD-3-ClauseStargazers:111Issues:0Issues:0

ksonnet-examples

Ksonnet example applications

Language:JsonnetStargazers:16Issues:0Issues:0

jsonnet-mode

Emacs major mode for editing Jsonnet files.

Language:Emacs LispLicense:GPL-3.0Stargazers:45Issues:0Issues:0
Language:Emacs LispStargazers:389Issues:0Issues:0
Stargazers:7Issues:0Issues:0

go-containerregistry

Go library and CLIs for working with container registries

Language:GoLicense:Apache-2.0Stargazers:3016Issues:0Issues:0

dive

A tool for exploring each layer in a docker image

Language:GoLicense:MITStargazers:44341Issues:0Issues:0

kvm-install-vm

Bash script to build local virtual machines using KVM/libvirt and cloud-init.

Language:ShellLicense:MITStargazers:329Issues:0Issues:0

haskell-study-plan

An opinionated list of resources for learning Haskell

License:CC0-1.0Stargazers:852Issues:0Issues:0

libtls

libtls tutorial, exercises, test CA and exercise solutions

Language:CLicense:NOASSERTIONStargazers:160Issues:0Issues:0

rv8

RISC-V simulator for x86-64

Language:C++License:MITStargazers:666Issues:0Issues:0

syzkaller

syzkaller is an unsupervised coverage-guided kernel fuzzer

Language:GoLicense:Apache-2.0Stargazers:5203Issues:0Issues:0

plfa.github.io

An introduction to programming language theory in Agda

Language:AgdaLicense:CC-BY-4.0Stargazers:1337Issues:0Issues:0

metallb

A network load-balancer implementation for Kubernetes using standard routing protocols

Language:GoLicense:Apache-2.0Stargazers:6751Issues:0Issues:0
Language:JavaScriptStargazers:56Issues:0Issues:0

dockerjenkins_tutorial

A repository for items learned in my Getting Started with Jenkins and Docker tutorial series

Language:ShellLicense:Apache-2.0Stargazers:740Issues:0Issues:0

distroless-bazel

Minimal bazel container image

Language:PythonLicense:NOASSERTIONStargazers:11Issues:0Issues:0