Giters
Carlos Valiente (carletes)

carletes

Geek Repo

30

followers

6

following

187

stars

Home Page:http://velvet-underscore.blogspot.com/

Github PK Tool:Github PK Tool

Organizations
ecmwf

Carlos Valiente's starred repositories

gnome-session-xmonad

Ubuntu package for Gnome + XMonad session files

Language:ShellLicense:GPL-2.0Stargazers:98Issues:0Issues:0

paip-lisp

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

Language:Common LispLicense:MITStargazers:7073Issues:0Issues:0

fedora-riscv-bootstrap

Bootstrapping Fedora on RISC-V

Language:MakefileStargazers:27Issues:0Issues:0

purescript-halogen-example

Sample halogen app that uses a few DSLs within the application's free monad

Language:PureScriptStargazers:61Issues:0Issues:0

HaLVM

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

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

httpredirector

HTTP/HTTPS redirection microservice

Language:HaskellLicense:Apache-2.0Stargazers:6Issues:0Issues:0

onedata

Onedata is a distributed data management platform providing eventually consistent, POSIX-compliant virtual filesystem.

License:Apache-2.0Stargazers:72Issues:0Issues:0

joplin

Joplin - the secure note taking and to-do app with synchronisation capabilities for Windows, macOS, Linux, Android and iOS.

Language:TypeScriptLicense:NOASSERTIONStargazers:44383Issues:0Issues:0

puppet-ceph

Ceph Puppet Module. Mirror of code maintained at opendev.org.

Language:RubyLicense:Apache-2.0Stargazers:119Issues:0Issues:0

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXLicense:NOASSERTIONStargazers:10850Issues:0Issues:0

nsjail

A lightweight process isolation tool that utilizes Linux namespaces, cgroups, rlimits and seccomp-bpf syscall filters, leveraging the Kafel BPF language for enhanced security.

Language:C++License:Apache-2.0Stargazers:2866Issues:0Issues:0

Haskellbook

Some notes and some exercises from Haskell Programming from First Principles

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

kubernetes

minimal and immutable Kubernetes images built with LinuxKit

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

buildkit

concurrent, cache-efficient, and Dockerfile-agnostic builder toolkit

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

free-programming-books

:books: Freely available programming books

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

demo-emacs-haskell

A tutorial for using Emacs with Haskell projects

Language:Emacs LispStargazers:43Issues:0Issues:0

abseil-py

Abseil Common Libraries (Python)

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

armok-date

Show the current Gregorian date in the Dwarf Fortress calendar. A Purescript/Halogen example.

Language:PureScriptStargazers:4Issues:0Issues:0

miso

:ramen: A tasty Haskell front-end framework

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

katip

A structured logging framework for Haskell

Language:HaskellStargazers:203Issues:0Issues:0

squeal

Squeal, a deep embedding of SQL in Haskell

Language:HaskellStargazers:352Issues:0Issues:0

keepalived-cloud-provider

kube-keepalived-vip cloud provider for Kubernetes 1.6+

Language:GoLicense:MITStargazers:154Issues:0Issues:0

hpffp-resources

Haskell Programming From First Principles - Follow-up Resources

Language:HaskellStargazers:483Issues:0Issues:0

mongodb

MongoDB driver for Haskell

Language:HaskellLicense:Apache-2.0Stargazers:169Issues:0Issues:0

kube-spawn

A tool for creating multi-node Kubernetes clusters on a Linux machine using kubeadm & systemd-nspawn. Brought to you by the Kinvolk team.

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

codeworld

Educational computer programming environment using Haskell

Language:HaskellLicense:Apache-2.0Stargazers:1241Issues:0Issues:0

kubespawner

Kubernetes spawner for JupyterHub

Language:PythonLicense:BSD-3-ClauseStargazers:536Issues:0Issues:0

open

DiffusionKinetics open-source monorepo

Language:HaskellLicense:MITStargazers:115Issues:0Issues:0

DeDRM_tools

DeDRM tools for ebooks

Language:PythonStargazers:14377Issues:0Issues:0

CryptoBook

Learning Cryptography, math and programming with Cryptol (and maybe some Python)

Language:PythonLicense:NOASSERTIONStargazers:93Issues:0Issues:0