janus/type-systems
Implementations of various type systems in OCaml.
pysandbox is a Python sandbox. By default, untrusted code executed in the sandbox cannot modify the environment (write a file, use print or import a module). But you can configure the sandbox to choose exactly which features are allowed or not, eg. import sys module and read file /etc/issue.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Implementations of various type systems in OCaml.
nope.c is a C language-based software platform for scalable server-side and networking applications. Think node.js for C programmers.
The OK Web Server
Public repository.