Carlos Valiente's starred repositories

Language:PythonLicense:GPL-3.0Stargazers:3Issues:0Issues:0

learntla

A TLA+ guide

Language:CSSLicense:CC-BY-4.0Stargazers:278Issues:0Issues:0

minideb

A small image based on Debian designed for use in containers

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

baresto

Baresto UI

Language:PureScriptStargazers:39Issues:0Issues:0

docker-machine-opennebula

Docker Machine Plugin for OpenNebula

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

mopidy

Mopidy is an extensible music server written in Python

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

OSX-KVM

Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.

Language:PythonStargazers:19397Issues:0Issues:0

homebrew-emacsmacport

Emacs mac port formulae for the Homebrew package manager

Language:RubyLicense:BSD-2-ClauseStargazers:1653Issues:0Issues:0

coreos-opennebula-image

Packer template for creating CoreOS KVM images for OpenNebula.

Language:ShellStargazers:15Issues:0Issues:0

kube2haproxy

High Availability HAProxy auto configuration and auto service discovery for Kubernetes.

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

kid

Utility to launch Kubernetes in Docker

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

pragmatic-debian-packages

Pragmatic Debian packaging

Language:MakefileStargazers:99Issues:0Issues:0

lambemacs

capybara themed Emacs lambda calculus machine

Language:Standard MLStargazers:7Issues:0Issues:0

sf

Mirror of Software Foundations in PDF

Language:HTMLStargazers:293Issues:0Issues:0

hdf5-is-for-lovers

HDF5 Tutorial

Language:CSSLicense:NOASSERTIONStargazers:104Issues:0Issues:0

fedora

Virtual machine templates for Fedora written in legacy JSON

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

docker-alpine

Alpine Linux Docker image. Win at minimalism!

Language:ShellLicense:BSD-2-ClauseStargazers:5699Issues:0Issues:0

logspout

Log routing for Docker container logs

Language:GoLicense:MITStargazers:4633Issues:0Issues:0

packer-templates

This repository has finished updating

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

cryptopals

Solutions to the Matasano Crypto Challenges in Haskell

Language:HaskellStargazers:1Issues:0Issues:0

pytest-cov

Coverage plugin for pytest.

Language:PythonLicense:MITStargazers:1694Issues:0Issues:0

parallella-open-case

A simple open case for the Parallella board.

License:CC-BY-4.0Stargazers:28Issues:0Issues:0

terraform

Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared amongst team members, treated as code, edited, reviewed, and versioned.

Language:GoLicense:NOASSERTIONStargazers:41619Issues:0Issues:0

paramiko

The leading native Python SSHv2 protocol library.

Language:PythonLicense:LGPL-2.1Stargazers:8921Issues:0Issues:0

Swiftz

Functional programming in Swift

Language:SwiftLicense:BSD-3-ClauseStargazers:3329Issues:0Issues:0

emacs-config

My Emacs config

Language:Emacs LispStargazers:117Issues:0Issues:0

ThreadScope

A graphical tool for profiling parallel Haskell programs

Language:HaskellLicense:NOASSERTIONStargazers:150Issues:0Issues:0

ghc-events

Library and tool for parsing .eventlog files from GHC

Language:HaskellLicense:NOASSERTIONStargazers:33Issues:0Issues:0

SublimeHaskell

A Sublime Text 3 plugin for Haskell. Features cabal building, error and warning highlighting, smart completion and ghc-mod integration.

Language:PythonLicense:MITStargazers:570Issues:0Issues:0

cryptol

Cryptol: The Language of Cryptography

Language:HaskellLicense:BSD-3-ClauseStargazers:1118Issues:0Issues:0