mniip / sandbox
A secure process-level sandbox based on a ptrace jail
☆14Updated last year
Related projects ⓘ
Alternatives and complementary repositories for sandbox
- A dependent type theory with user defined data types☆45Updated 3 years ago
- ⚖️ Trial Data Type☆20Updated 6 months ago
- A [ functional stack ] based language.☆28Updated last year
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆64Updated 9 months ago
- Like APL, but with emojis☆15Updated 2 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- Package manager for Idris☆35Updated 2 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆55Updated 2 years ago
- ☆36Updated 3 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- IDE support for the functional logic programming language Curry☆27Updated last week
- A pure type system implemented in OCaml☆77Updated 3 years ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 4 months ago
- A programming language somewhat resembling cellular processes.☆33Updated 2 years ago
- a functional programming language with algebraic effects and handlers☆81Updated 2 years ago
- Prolog + SMT☆7Updated 4 years ago
- A general purpose statically-typed concatenative programming language.☆51Updated last year
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- A WIP little dependently-typed systems language☆37Updated 3 months ago
- Statically typed, high-level functional programming language.☆13Updated 3 years ago
- Inigo: A Package Manager for Idris2☆61Updated 2 years ago
- A discord frontend for an interactive interpreter bot☆22Updated last year
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated last year
- Absal ex☆55Updated last year
- Dependently typed programming language written in Haskell☆22Updated 2 years ago
- experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust☆23Updated 8 months ago