chespinoza

alpine-haskell-stack

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

asgi-gunicorn-nginx-docker

cloud-run-faq

Unofficial FAQ and everything you've been wondering about Google Cloud Run.

docker-airflow

Docker Apache Airflow

docker-alpine-edge-redis

docker-alpine-python3

The smallest Docker image with Python 3.6 (~61MB)

dockerized-uvicorn

Dockerized uvicorn + Gunicorn + Nginx + Supervisor

dockerized-uvicorn-serverless

gleam

⭐️ A type safe language for the Erlang VM

Idris2

A purely functional programming language with first class types

idris2-lsp

Language Server for Idris2

kubernetes

Production-Grade Container Scheduling and Management

libra

Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.

libuv

Cross-platform asynchronous I/O

micro-django

nvim-minimal-config

Minimal Configuration for Neo Vim

order-taking

Idris version of Domain Modeling Made Functional Book.

polybar-themes

A huge collection of polybar themes with different styles, colors and variants.

programming-languages

Awesome Programming Languages

python-project-template

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

rust-web-test

sample-fsharp-web

selling-partner-api-docs

This repository contains documentation for developers to use to call Selling Partner APIs.

selling-partner-api-models

This repository contains OpenAPI models for developers to use when developing software to call Selling Partner APIs.

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

test-flask-rest

test-orbs

test-pyo3

type-driven-dev-idris