Showing 83 open source projects for "security operating system"

View related business solutions
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • Secure File Transfer for Windows with Cerberus by Redwood Icon
    Secure File Transfer for Windows with Cerberus by Redwood

    Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

    Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
    Try for Free
  • 1
    Marked

    Marked

    A markdown parser and compiler. Built for speed

    ...Light-weight while implementing all markdown features from the supported flavors & specifications. Available as a command-line interface (CLI) and running in client- or server-side JavaScript projects. The only completely secure system is the one that doesn't exist in the first place. Having said that, we take the security of Marked very seriously. To prevent ReDoS attacks you can run marked on a worker and terminate it when parsing takes longer than usual. Marked can be run in a worker thread on a node server, or a web worker in a browser. Only current and LTS Node.js versions are supported. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 2
    Ox: Attribute Grammar Compiling System

    Ox: Attribute Grammar Compiling System

    Ox is an attribute-grammar evaluator generator.

    ...Ox handles the tedious and error-prone details of writing code for parse-tree management, so its use eases problems of security and maintainability associated with that aspect of translator development.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    HydraDragonAntivirus

    HydraDragonAntivirus

    Open Source Antivirus/XDR for Windows operating system

    Dynamic and static analysis with Real Time Malware Analysis with Antivirus for Windows, including open-source XDR (3 EDR projects), ClamAV, YARA-X, machine learning AI, behavioral analysis, Unpacker, Deobfuscator, Decompiler, website signatures, Ghidra, Suricata, Sigma, Kernel, Hypervisior based protection and much more than you can imagine.
    Downloads: 15 This Week
    Last Update:
    See Project
  • 4

    ELFIO

    A header-only C++ library for accessing files in ELF binary format

    ELFIO is a header-only C++ library intended for reading and generating files in the ELF binary format
    Downloads: 2 This Week
    Last Update:
    See Project
  • Atera - an All-in-one platform for IT management Icon
    Atera - an All-in-one platform for IT management

    Ideal for IT departments and MSPs (managed service providers)

    Your IT essentials, integrated & elevated. Take your IT management from automated to autonomous, download Atera's agent to start your free trial!
    Try Atera now
  • 5
    GNU Prolog

    GNU Prolog

    The GNU Prolog native compiler

    GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.
    Leader badge
    Downloads: 159 This Week
    Last Update:
    See Project
  • 6
    MLton

    MLton

    A whole-program optimizing compiler for Standard ML

    MLton is a whole-program optimizing compiler for Standard ML. MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GnuMP, and multiple code generation and garbage collection strategies. In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML...
    Downloads: 30 This Week
    Last Update:
    See Project
  • 7
    AL-IV

    AL-IV

    ALFOUR Programming language. Simple, safe, power, multi-platform.

    A programming language AL-IV (ALFOUR) is a high-level imperative object oriented programming language with minimal introduction level, easy porting to any platform claiming a very high level of safety and stability, with a controllable level of code protection, high efficiency of an executable code, full independence from a target platform, minimal enter level.
    Downloads: 46 This Week
    Last Update:
    See Project
  • 8

    amforth: Interpreter on Microcontrollers

    amforth is an extendible interpreter on microcontrollers

    amforth is an extendable command interpreter running on AVR ATmega and TI MSP430 microcontrollers. The Risc-V and ARM architectures are ascending. Turnkey actions for IoT workloads are possible as well. The command language is close to the Forth 2012 standard.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 9
    ELENA Programming Language

    ELENA Programming Language

    an object-oriented language with late binding

    ELENA is a general-purpose, pure object-oriented language with late binding. It promotes more object-oriented program design, reusable and more standardized code. The package includes compiler, IDE, ELENA libraries and samples
    Leader badge
    Downloads: 12 This Week
    Last Update:
    See Project
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • 10
    ECLiPSe CLP

    ECLiPSe CLP

    ECLiPSe Constraint Logic Programming System

    The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.
    Leader badge
    Downloads: 5 This Week
    Last Update:
    See Project
  • 11
    MinForth

    MinForth

    A minimalistic but complete standard Forth compiler in C

    MinForth V3.4 is a classic Forth system with command-line interface. Development resource requirements are minimal. A source text editor and a C compiler are sufficient. By design no toolchain is required to adapt or rebuild MinForth. A complete rebuild takes only few seconds. Current sources are for Windows and Linux (32-bit or 64-bit). MinForth primitive definitions are written in mixed Forth and C language and are transpiled to pure C code. Main but not exclusive application for the...
    Downloads: 14 This Week
    Last Update:
    See Project
  • 12
    Simply Memory Manager

    Simply Memory Manager

    Memory manager for Free Pascal

    The Simply Memory Manager (SMM) is a replacement for the native memory manager for Free Pascal and Lazarus projects on Windows. Download SMM at https://opensimply.org/smm Free Pascal's native memory manager uses certain memory allocation and deallocation functions for 32-bit Windows applications that cause fatal errors when reusing large amounts of memory repeatedly, and it runs in this case rather slowly. SMM prevents such errors by using a different approach, and it is much...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    Seed7

    Interpreter and compiler for the Seed7 programming language.

    ...Object orientation is used where it brings advantages and not in places where other solutions are more obvious. Seed7 spares no effort to support portable programming. Several driver libraries assure that the access to operating system resources such as files, directories, network, clock, keyboard, console and graphics are done in a portable way. Although Seed7 contains several concepts from other programming languages, it is generally not considered a direct descendant of any other programming language.
    Leader badge
    Downloads: 12 This Week
    Last Update:
    See Project
  • 14
    Ring

    Ring

    Simple and flexible programming language for applications development

    The Ring is a practical general-purpose multi-paradigm language. The supported programming paradigms are imperative, procedural, object-oriented, declarative using nested structures, functional, meta programming and natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 15
    XBNF Neurotranslator compiler

    XBNF Neurotranslator compiler

    (X)BNF simple and clever translation grammar compiler

    XBNF Neurotranslator is a powerfull extended BNF grammar language to handle translations easily and many features to handle different kind of situations. This project is for common arch binaries, C++ sources, tests & support tickets. No installation, juste get binary for your architecture : > See [Files] > binary.{version} Library of smart samples of grammars> https://sourceforge.net/projects/xbnf/ Docker image which embeds the Linux/64bits binary and the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    colorForth
    colorForth is, in Chuck Moore's own words: "A dialect of Forth that uses color to replace punctuation. Includes its own operating system. Produces extremely compact programs. Instant compile from pre-parsed source."
    Leader badge
    Downloads: 24 This Week
    Last Update:
    See Project
  • 17
    Flora-2
    Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Selfie

    Selfie

    An educational software system of a tiny self-compiling C compiler

    An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor. Selfie is a project of the Computational Systems Group at the Department of Computer Sciences of the University of Salzburg in Austria. The Selfie Project provides an educational platform for teaching undergraduate and graduate students the design and implementation of programming languages and runtime systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19

    Ofront+

    Oberon family of languages to C translator for ARM, x64 and x86 archit

    Ofront+ is a tool that translates programs in Oberon dialects into semantically equivalent C programs. Full error analysis is performed on the Oberon input program and in case of no errors up to three files are generated as output. Ofront+ does not invoke the C compiler or linkage editor. This may be done in separate shell scripts or make files and is inherently dependent on the C compiler and linkage editor being used. Although normally not read by the user, the C code generated by...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    RedtDec

    RedtDec

    RetDec is a retargetable machine-code decompiler based on LLVM

    The decompiler is not limited to any particular target architecture, operating system, or executable file format. ELF, PE, Mach-O, COFF, AR (archive), Intel HEX, and raw machine code supported. 32-bit: Intel x86, ARM, MIPS, PIC32, and PowerPC 64-bit: x86-64 supported. Demangling of symbols from C++ binaries (GCC, MSVC, Borland). Reconstruction of functions, types, and high-level constructs. Output in two high-level languages: C and a Python-like language.
    Downloads: 19 This Week
    Last Update:
    See Project
  • 21
    X11-Basic

    X11-Basic

    A BASIC interpreter and compiler with graphics.

    X11-Basic is a dialect of the BASIC programming language with graphics capability that integrates features like shell scripting, cgi-Programming and full graphical visualisation into the easy to learn basic language on modern computers.
    Leader badge
    Downloads: 35 This Week
    Last Update:
    See Project
  • 22
    MANOOL

    MANOOL

    Programming language with expressive power and a simple implementation

    MANOOL is a practical, homoiconic, dynamic, multiparadigm general-purpose programming language with a functional core. It has high expressive power but is implemented in less than 10K LOC of optimized, idiomatic C++11 for native run-time environments. MANOOL is meant to compare and compete directly with Python, PHP, Ruby, Perl, and Tcl, although incidentally it has some combination of unusual features. Example: {{extern "manool.org.18/std/0.2/all"} in WriteLine[Out; "Hello,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23

    From PEG to a practical parser

    Transcribe Parsing Expression Grammar into a parser written in Java.

    ...An integral feature of "Mouse" is the mechanism for specifying semantics (also in Java). This makes "Mouse" a convenient tool if one needs an ad-hoc language processor. Being written in Java, the processor is operating-system independent. Included in the package is PEG Explorer, an interactive tool to investigate the effect of limited backtracking. Sample grammar for Java is available from the Web Site.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    FastSim consists of: - 'Facile' a highly flexible and expressive processor-architecture specification-language. - A compiler for the specifications which produces high-performance, fast-forwarding simulators.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    This project aims to develop a Lisp based operating system for general purpose computer architectures.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • Next
Auth0 Logo