Search Results for "pentesting operating system"
Sort By:
92 projects for "pentesting operating system" with 2 filters applied:
-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
1
Ngspice project aims to improve the spice3f5 circuit simulator.
-
2
Minsky
System dynamics program with additional features for economics
Minsky brings system dynamics and monetary modelling to economics. Models are defined using flowcharts on a drawing canvas (as are Matlab's Simulink, Vensim, Stella, etc). Minsky's unique feature is the "Godley Table", which uses double entry bookkeeping to generate stock-flow consistent models of financial flows. Minsky is good for demonstrating mathematics too, with the most "math-like" interface in system dynamics. Sign up to Minsky's Patreon page (for as little as $1 a month) at... -
3
Eagle Mode
Zoomable user interface (ZUI) with file manager, file viewers and more
Eagle Mode is a zoomable user interface (ZUI) with file manager, file viewers, games, and more. This project is about a futuristic style of human-computer interaction, where the user can visit almost everything simply by zooming in. It features a portable C++ toolkit API for developing such ZUIs, and it features the Eagle Mode application, which provides a virtual cosmos with plugin applications. The most important one is the professional file manager with its rich, scriptable command... -
4
XSCHEM
Schematic circuit editor for VLSI and Mixed mode circuit simulation.
Xschem is a schematic capture program, it allows to create a hierarchical representation of circuits with a top down approach . By focusing on interconnections, hierarchy and properties a complex system (IC) can be described in terms of simpler building blocks. A VHDL, Verilog or Spice netlist can be generated from the drawn schematic, allowing the simulation of the circuit. Key feature of the program is its drawing engine written in C and using directly the Xlib drawing primitives; this... -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
5
srcpd: modular SRCP server
SRCP system daemon
The srcpd is a gateway between any kind of model railway systems and user interface programs that support the Simple Railroad Command Protocol SRCP. -
6
contools
console tools, batch scripts, shell scripts, shell tools, utilities
-
7
EcoLab is a C++ based Agent Based Modelling system, with emphasis on high performance computing for scaling to large simulations.
-
8
The PDL module gives standard perl the ability to COMPACTLY store and SPEEDILY manipulate the large N-dimensional data sets that are the bread and butter of scientific computing.
-
9
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. -
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
10
Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.
-
11
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.
-
12
The Mobility Open Architecture Simulation and Tools (MOAST) framework aids in the development of autonomous robots. It includes an architecture, control modules, interface specs, and data sets and is fully integrated with the USARSim simulation system.
-
13
SmGen
Verilog Finite State Machine (FSM) Code Generator
SmGen is a finite state machine (FSM) generator for Verilog. On the other hand, it is not an FSM entry tool. The input is behavioral Verilog with clock boundaries specifically set by the designer. SmGen unrolls this behavioral code and generates an FSM from it in synthesizable Verilog. Clock boundaries are explicitly provided by the designer so there is good control on the expected timing -
14
Presage
the intelligent predictive text entry platform
Presage (formerly Soothsayer) is an intelligent predictive text entry system. Presage generates predictions by modelling natural language as a combination of redundant information sources. Presage computes probabilities for words which are most likely to be entered next by merging predictions generated by the different predictive algorithms. Presage's modular and extensible architecture allows its language model to be extended and customized to utilize statistical, syntactic, and semantic... -
15
finds exact gain, directivity and input impedance of Yagi or log-periodic antennas (planar symmetric array of cylindrical dipoles, many driven elements) for a range of specified frequencies, integrates 2D for segments on the same element, moment method
-
16
owfs and owhttpd
Project moved to https://github.com/owfs/owfs/
Please note that OWFS source code, and all Issue/Tickets/merge requests have now been moved to https://github.com/owfs/owfs/. Developer mailing lists will still be kept at Sourceforge. ---- OWFS -- 1-Wire file system. Use the Dallas 1-Wire and iButton chips with standard filesystem commands. Create temperature loggers. Monitor everything. OWHTTPD -- same system, only used as a light weight web server. OWFS is also ported to embedded routers, Mac OSX and Windows. Basically you can use... -
17
SODE
Program to solve differential equations using long Taylor series
Program to generate a program to numerically solve either a single ordinary differential equation or a system of them.It is a Ruby program, now called omnisode, which generates either Ruby, C, C++, Maple or Maxima code. Code can be generated for all languages under Linux. Ruby can be generated under Windows. All can be generated under cygwin, but would need work on execution of Maple. Omnisode itself is Ruby, which is needed in all cases to generate the program. -
18
RTS2 - Remote Telescope System
Open source observatory control software
RTS2 is project to create an open source environment for control of a fully autonomous observatory. It is running about dozen fully autonomous observatories. Its modular design allow easily addition of new devices (to already huge supported HW list). -
19
Elexis Praxisprogramm
An Eclipse RCP program for all aspects of a (Swiss) medical practice
An Eclipse RCP program for all aspects of a medical practice: electronic medical record (EMR), laboratory findings etc., as well as accounting, billing (swiss TARMED-System, other systems to be developped) and other daily work. A fully functional version may be downloaded via http://download.elexis.info/3.1.0. Users may optionally include a demo database to have a playground for experiments. See also http://wiki.elexis.info/Installation_Elexis_3.0_OpenSource Elexis 3.1.0 was released... -
20
PriiDash(TM) is an enhanced instrument panel and data logger for the Prius and more. Display and record real time data on your car PC via an ELM327 compatible OBD-USB device.
-
21
Indeterminate Beam Analysis Program
Calculates SF, BM, Slope and Deflection.
IBAP is a structural beam analysis software that can be used by Civil, Mechanical and Structural Engineers, Beam designers and Engineering students for both professional and academic purposes. -
22
XASTIR
Multiplatform Ham Radio APRS and Mapping Program
NOTE: Code commits are FROZEN on SourceForge: New code is now at <http://github.com/Xastir/Xastir>. Real-time tracking & messaging of stations via radio/internet APRS data streams, w/125 map formats supported. Linux/FreeBSD/Solaris/MacOSX/Windows in any of 7 languages. Can also be used for mobile mapping w/GPS. MAILING LISTS ARE AT: PROJECT->WEB SITE. -
23
Asterix
Asterix is command line parser and Wireshark plugin for ASTERIX
Asterix is command line utility and Wireshark plugin used for reading and parsing of Eurocontrol ASTERIX protocol data from stdin, file or network multicast stream. ASTERIX stands for All Purpose STructured Eurocontrol SuRveillance Information EXchange. It is an ATM Surveillance Data Binary Messaging Format which allows transmission of harmonised information between any surveillance and automation system. ASTERIX defines the structure of the data to be exchanged over a communication... -
24
MCCCS
Multi Channel Classification and Clustering
Here we present an image-based Multi Channel Classification and Clustering System (MCCCS). It is an generalized, script-based classification system for processing various kinds of image data. Due to the modular design, individual processing-components can be easily adapted, extended or exchanged by own extensions. See project website for installation instructions. -
25
OpenAxiom: Scientific Computation System
A system for computer algebra and symbolic mathematics
OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences.
