Search Results for "security operating system" - Page 2
Sort By:
Showing 98 open source projects for "security operating system"
View related business solutions-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
1
This project aims to develop a Lisp based operating system for general purpose computer architectures.
-
2
The ATS PL System
Unleashing the potentials of types and templates
The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof. -
3
fast single-privilege single-address-space preemptive-multithreading persistent data-centric secure multiuser operating system with safe-language and reconfigurable graphical interface
-
4
CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
5
Mozart-Oz Programming System
Runtime and development environment of Oz
The Mozart Programming System is an open source implementation of the programming language Oz 3. Oz is a multi-paradigm language that supports declarative programming, object-oriented programming, constraint programming, concurrency and distributed programming as part of a coherent whole. -
6
cstem
C/C++ system probe, test and automation toolkit
cstem is a portable toolkit for probing and testing C/C++ system. It consist of 4 scripts: cprobe, cltest, cppdef, mkdep. cstem scripts can be used standalone or as part of software build systems. All scripts are portable and have no dependencies. See wiki for more information and examples. -
7
builder
Easily build software for your Linux distro repo
This project is a wrapper script using generated profiles that include any desired patches and files (such as .desktop, icons, and configurations) to easily update, build, and package the software to be made available in your Linux distributions' online repository. So instead of worrying about how to compile for autoconf, autogen, bootstrap, cmake, or the traditional configure, make, make install, for each software title in your repo, builder will take care of all those details so you can... -
8
JNode is a Java New Operating system Design Effort. JNode is a simple to use and install Java operating system for personal use on modern devices. Any java application runs on it, fast and safe. See our homepage for additional information.
-
9
xSTreamC is a streaming language developed by STMicroelectronics to support the mapping of data intensive streaming applications on distributed multiprocessor SoCs. A compiler and a simulation library are provided.
-
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
10
Galliwasp
Goal-directed answer-set programming
Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method. -
11
A Java 2 (JDK 1.3/1.4) compatible virtual machine. joeq is unique in that it is almost entirely implemented in Java, making it reliable and efficient. It is also language-independent, so code from any language can be seamlessly and dynamically compiled.
-
12
This project aims to provide a common and convenient environment for evaluating C and C++ compilers' relative performances on some well-known benchmarks and applications.
-
13
After a program has been thrown into the world in binary form, it can boomerang back as source code. The Boomerang reverse engineering framework is the first general native executable decompiler available to the public.
-
14
En una pequena guia para la los estudiantes de programacion para iniciarlos en el mundo de C/C++
-
15
VolksForth
A small, self-hosting 16bit Forth system
VolksForth is a 16bit Forth System with the goal to produce a manageable Forthsystem for computer systems with restricted system resources. -
16
The ASN.1 Compiler
Go to github.com/vlm/asn1c for the latest version.
This ASN.1 compiler turns ASN.1 specifications into C code. The asn1c is shipped together with conformant BER/DER/XER/PER codecs. The X.509, GSM TAP3, MEGACO, RRC and LDAP encoding and decoding examples are part of the source code distribution. NOTE: THE asn1c PROJECT HAS LARGELY MOVED TO GITHUB: http://github.com/vlm/asn1c -
17
z390 Portable Mainframe Assembler
z390 Portable Mainframe Assembler and Emulator
z390 Portable Mainframe Assembler and Emulator -
18
several vaguely related projects worked on by me: a 3d engine with a javascript-like scripting language (pdsys); an older scheme dialect (vmsys); ... (2009-04-28: I have been gone for years, may try to put up some newer stuff...).
-
19
AROS Clang
Modified llvm-Clang compiler that targets AROS
Modified llvm-clang compiler that targets the AROS Research Operating System. Presently only includes cross-compilation but future versions may support native compilation as well. -
20
ECL is a system-level specification language for HW/SW designs and is based on Esterel and C. The ECL compiler parses ECL, writes Esterel and C, and uses the Esterel compiler to produce an implementation. Originally developed at Cadence Berkeley Labs.
-
21
dxcut is a library for reading, editing, and writing dex and odex files which contain the class definition and Dalvik bytecode used by the Android operating system. This project includes a disassembler/decompiler, dex optimizer, and hooking utils.
-
22
-
23
-
24
Project-Sparroh is a hobby operating system project. Goal is to write an OS from scratch for the purposes of learning how they work and for fun. An assembler and high level language cross-compiler will also be written first and used to build the OS.
-
25
DBOW is a database compiler-compiler or front-end. It takes table definitions in a relatively high-level language and prepares C, C++, PHP, Perl (etc) functions for manipulating the database. It will also produce SQL table data for MySQL.
