Search Results for "safe"

Safe Lua is a variant of Lua tailored for advanced sandboxing.

BASIC interpreter for the standard (SUS) character screen handling library, which fully corresponds to the Tiny BASIC standard. The code is thread-safe and can be embedded into other code. Can be used as a game or a minimalist challenge.

...CLIPSwl doesn't use complicated logic such as platform-independent mutex, but newly defines 4 abstract functions (i.e. using function pointers) for allocating, acquiring, releasing and deallocating locks of the environment data. Users may define their own functions that fit for their system by using their platform-dependent mutex. CLIPSwl also support the safe string-related functions treating the rules, and refining the warning parts of the code when compiling with gnu g++ compiler.

Orc is a embedded language for orchestrating concurrent and distributed programming. It can ensure safe, dead-lock free concurrent execution. This is an implementation of Orc semantics for the .NET framework.

Freude is a new general purpose, very type safe, postfix / concatenative language in the style of \"Manfred von Thun\'s\" Joy. Freude programs are composed of axiomatic mathematical structures and verifiably correct concrete implementations thereof.