Showing 98 open source projects for "security operating system"

View related business solutions
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.

    Start 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.
    Claim $300 Free
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving 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.
    Download Now
  • 1
    This project aims to develop a Lisp based operating system for general purpose computer architectures.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    fast single-privilege single-address-space preemptive-multithreading persistent data-centric secure multiuser operating system with safe-language and reconfigurable graphical interface
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    CLISP - an ANSI Common Lisp
    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.
    Leader badge
    Downloads: 165 This Week
    Last Update:
    See Project
  • Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure Icon
    Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

    Native application identity and user-based security for your Azure cloud

    Gain 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.
    Get a free trial
  • 5
    Mozart-Oz Programming System

    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.
    Downloads: 84 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 27 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Stop Storing Third-Party Tokens in Your Database Icon
    Stop Storing Third-Party Tokens in Your Database

    Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.

    Rolling 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.
    Try Auth0 for Free
  • 10
    Galliwasp

    Galliwasp

    Goal-directed answer-set programming

    Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 36 This Week
    Last Update:
    See Project
  • 14
    Manual C
    En una pequena guia para la los estudiantes de programacion para iniciarlos en el mundo de C/C++
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Leader badge
    Downloads: 3 This Week
    Last Update:
    See Project
  • 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
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    z390 Portable Mainframe Assembler

    z390 Portable Mainframe Assembler

    z390 Portable Mainframe Assembler and Emulator

    z390 Portable Mainframe Assembler and Emulator
    Downloads: 2 This Week
    Last Update:
    See Project
  • 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...).
    Downloads: 1 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    A full LR(1) parser generator system with many advanced features.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    16 bit Forth for PC. No OS required.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Project Sparroh
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 2 This Week
    Last Update:
    See Project
Auth0 Logo