Lambda Calculus compiler for Codewars

Container image for RISC-V

Container image for F#

Container image for Coq

Container image for Agda

Container image for Factor

Container image for PureScript

Container image for Haskell

Trying to make a Jelly container image for Codewars

Container image for Lean

A safe MCP Python Runner with Docker Image

Container image for OCaml

Container image for Forth