Pateldisolution
Follow
-
mu_plus Public
Forked from microsoft/mu_plusMicrosoft Core UEFI Value
C BSD 2-Clause "Simplified" License UpdatedJan 25, 2019 -
Ada-IntelliJ Public
Forked from AdaCore/Ada-IntelliJSupport for Ada and SPARK languages in IntelliJ IDEA
Java Apache License 2.0 UpdatedJan 24, 2019 -
openweave-core Public
Forked from openweave/openweave-coreopenWeave is a home area network application protocol stack designed to enable asynchronous, symmetric, device-to-device, device-to-mobile and device-to-cloud communications for control path and da…
C++ Apache License 2.0 UpdatedJan 24, 2019 -
ModSecurity_1 Public
Forked from microsoft/ModSecurityModSecurity is an open source, cross platform web application firewall (WAF) engine for Apache, IIS and Nginx that is developed by Trustwave's SpiderLabs. It has a robust event-based programming la…
C Apache License 2.0 UpdatedJan 24, 2019 -
gnatdashboard Public
Forked from AdaCore/gnatdashboardAnalyse a project.
Python UpdatedJan 24, 2019 -
Ada_Drivers_Library Public
Forked from AdaCore/Ada_Drivers_LibraryAda source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Ada BSD 3-Clause "New" or "Revised" License UpdatedJan 24, 2019 -
libadalang Public
Forked from AdaCore/libadalangAda semantic analysis library.
Ada Other UpdatedJan 24, 2019 -
-
bb-runtimes Public
Forked from AdaCore/bb-runtimesSource repository for the GNAT Bare Metal BSPs
Ada Other UpdatedJan 24, 2019 -
gprbuild Public
Forked from AdaCore/gprbuildGPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Ada UpdatedJan 24, 2019 -
ada_language_server Public
Forked from AdaCore/ada_language_serverprototype implementation of the Microsoft Language Server Protocol for Ada/SPARK
Ada GNU General Public License v3.0 UpdatedJan 24, 2019 -
why3 Public
Forked from AdaCore/why3SPARK 2014 repository for the Why3 verification platform.
Coq Other UpdatedJan 24, 2019 -
e3-aws Public
Forked from AdaCore/e3-awsHigh level interface for CloudFormation
Python GNU General Public License v3.0 UpdatedJan 23, 2019 -
MS-DOS Public
Forked from microsoft/MS-DOSThe original sources of MS-DOS 1.25 and 2.0, for reference purposes
Assembly Other UpdatedJan 22, 2019 -
gnatcoll-core Public
Forked from AdaCore/gnatcoll-coreGNAT Components Collection – Core packages
Ada Other UpdatedJan 21, 2019 -
gpr Public
Forked from AdaCore/gprThe framework for analyzing the GNAT Project (GPR) files
Python UpdatedJan 21, 2019 -
SharpGen Public
Forked from cobbr/SharpGenSharpGen is a .NET Core console application that utilizes the Rosyln C# compiler to quickly cross-compile .NET Framework console applications or libraries.
C# BSD 3-Clause "New" or "Revised" License UpdatedJan 21, 2019 -
Empire Public
Forked from EmpireProject/EmpireEmpire is a PowerShell and Python post-exploitation agent.
PowerShell BSD 3-Clause "New" or "Revised" License UpdatedJan 20, 2019 -
happy Public
Forked from openweave/happyHappy is a tool for lightweight orchestration of simulated network topologies used for development and testing of IOT home area networks
Python Apache License 2.0 UpdatedJan 18, 2019 -
gtkada Public
Forked from AdaCore/gtkadaAda bindings for the GTK+ graphical library.
Ada Other UpdatedJan 17, 2019 -
z3 Public
Forked from AdaCore/z3SPARK 2014 repository for the Z3 SMT solver.
C++ Other UpdatedJan 16, 2019 -
cvc4 Public
Forked from AdaCore/cvc5SPARK 2014 repository for the CVC4 SMT solver.
SMT Other UpdatedJan 16, 2019 -
alt-ergo Public
Forked from AdaCore/alt-ergoSPARK 2014 repository for the Alt-Ergo SMT solver.
OCaml Other UpdatedJan 16, 2019 -
ImmutableObjectGraph Public
Forked from AArnott/ImmutableObjectGraphCode generation for immutable types
C# Other UpdatedJan 16, 2019 -
libadalang-tools Public
Forked from AdaCore/libadalang-toolsLibadalang-based tools
Ada GNU General Public License v3.0 UpdatedJan 15, 2019 -
Seatbelt Public
Forked from GhostPack/SeatbeltSeatbelt is a C# project that performs a number of security oriented host-survey "safety checks" relevant from both offensive and defensive security perspectives.
C# UpdatedJan 15, 2019 -
gnat-gdb-scripts Public
Forked from AdaCore/gnat-gdb-scriptsGDB scripts for Ada programs built with GNAT
Python GNU General Public License v3.0 UpdatedJan 14, 2019 -
fsharp-1 Public
Forked from fsharp/fsharpThe F# Compiler, Core Library & Tools (F# Software Foundation Repository)
F# MIT License UpdatedJan 13, 2019 -
svd2ada Public
Forked from AdaCore/svd2adaAn Ada binding generator from SVD descriptions for bare board ARM devices.
Ada GNU General Public License v3.0 UpdatedJan 13, 2019 -
gnatcoverage Public
Forked from AdaCore/gnatcoverageGNATcoverage: Coverage Analysis Tool
Ada UpdatedJan 11, 2019