Stars
A fully automated HTTPS server powered by Nginx, Let's Encrypt and Docker.
A collection of gRPC and Go examples showcasing features of the framework
Native, fast starting Clojure interpreter for scripting
The APL programming language (a subset thereof) compiling to Common Lisp.
A graphical interactive proof assistant designed for education
Secure Remote Password protocol implementation compatible with Amazon Cognito
UNIX system administration in Common Lisp
catwell / mercury
Forked from nrk/mercurySee branch lua53 for Lua 5.3 support.
Exemplary real world application built with Elixir + Phoenix
I'm trying to update the Real World Haskell book
The AWS Lambda container image converter tool (img2lambda) repackages container images (such as Docker images) into AWS Lambda function deployment packages and Lambda layers.
A truly monstrous async web chat using no JS whatsoever on the frontend
🦔 Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.
Collect your thoughts and notes without leaving the command line.
Fully static, unprivileged, self-contained, containers as executable binaries.
Python programs, usually short, of considerable difficulty, to perfect particular skills.
A set of utilities designed for incremental building, merging and optimization of data transformations.
Dockerize and run a "Hello World" Micronaut app.