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
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.
Omnigraphs are a formal extension of hypergraphs with the ability of edges to connect to multiple nodes and edges. This project hosts the Ogre compilers.
F- is an ANSish Forth that uses a VM generator to compile Forth into C-based VM suitable for living in a C-based (or assembly or HDL) microcontroller project. The VM supplies 32-bit math, I/O, multitasking and debugger in a ROM footprint as small as 4kB.
JUndo is a declarative object-oriented programming language with functional, and intensional programming characteristics. Applications include multi-level undo and sophisticated error recovery. See http://verdantium.blogspot.com/
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.
‘intelliworm’ is a prototype simulation of a Intelligent Species of a common earth worm,which inherits human like decision making capabilities through Neural Network intelligence representation,all developed by integrating .NET with Lisp and Yacc.
The Language Machine is a toolkit for language and grammar: a library, main program, and self-hosted rule compilers with one frontend. The system is easy to use. It directly implements unrestricted rule-based grammars with actions and external interfaces.
BDD-Based Deductive Database, an implementation of Datalog that uses Binary Decision Diagrams as the underlying data structure. This allows it to represent exponentially-sized relations efficiently.
GELLO is an ANSI-accredited HL7 standard for creating computable, unambiguous clinical queries. This project creates an open source compiler and client-server IDE. Projects are stored in a subversion repository, and created by the RCP based client.
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.
JSim8086 is platform-independent Assembly Language Simulator of the Intel 8086 CPU. It was designed to be a learning tool (CAL) for first year Computing students who are learning Computer Systems Organisation and Assembly Programming.
RunCC is a new kind of parsergenerator that generates parsers and lexers at runtime. Source generation is only optional. It features the absence of any cryptography. Although intended for small languages, it comes with Java and XML example parsers.
{sets} is a lightweight constraint programming language. The uniqueness of {sets}, is that it uses ROBDD ( Reduced Ordered Binary Decision Diagrams ) to represent and solve constraints.
The SrcML Framework allows converting Sourcecode to a XML representation on which tools can then be used to deduce statical data for analyzing and visualizing the initial source. It also provides easy ways to write programs which modify other programs.
Cross-platform C++ library for Reverse Polish Notation calculus. Focuses on providing a reusable set of RPN functionalities such as parsing, variable substitution and computation.
A C library, providing comfortable APIs for a wide range of Finite State Abstract Machines (NFA, DFA, FST, Bimachines, etc). Implements most of the classical algorithms in the field.
OpenL implements Java-like languages allowing to use code snippets placed in Excel, XML, or DB. OpenL is a foundation for OpenRules http://openrules.com. Maintained from http://openl.org