79 projects for "linux system" with 2 filters applied:

  • 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
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Try It Free
  • 1
    ngspice
    Ngspice project aims to improve the spice3f5 circuit simulator.
    Leader badge
    Downloads: 1,810 This Week
    Last Update:
    See Project
  • 2
    Eagle Mode

    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...
    Leader badge
    Downloads: 56 This Week
    Last Update:
    See Project
  • 3
    Minsky

    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...
    Leader badge
    Downloads: 71 This Week
    Last Update:
    See Project
  • 4
    XSCHEM

    XSCHEM

    Schematic circuit editor for VLSI and Mixed mode circuit simulation.

    ...I have succesfully managed to simulate complete VLSI projects with this tool, both digital (Verilog / VHDL) and analog (Spice). Schematics can be printed in SVG, PNG, PDF, formats. XSCHEM runs on Linux or other Unix-likes with Xorg server and on Windows with the Cygwin layer and required tools installed. Can be found also on github: https://github.com/StefanSchippers/xschem
    Downloads: 46 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
  • 5

    contools

    console tools, batch scripts, shell scripts, shell tools, utilities

    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    EcoLab
    EcoLab is a C++ based Agent Based Modelling system, with emphasis on high performance computing for scaling to large simulations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    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.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 8
    Perl Data Language
    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.
    Downloads: 8 This Week
    Last Update:
    See Project
  • 9
    Archive of Formal Proofs

    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.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 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
  • 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.
    Leader badge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    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: 222 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15

    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...
    Leader badge
    Downloads: 171 This Week
    Last Update:
    See Project
  • 16
    owfs and owhttpd

    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...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 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).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 20
    PriiDash
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    XASTIR

    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.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 22

    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...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 23
    MCCCS

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24

    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.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 25

    PyLogAnalyser

    A Python multiplatform tool to filter, colorise and analyse logs

    PyLogAnalyzer is a tool that receives an input log in black and white, a configuration INI file, which contains the list of rules to process the input, and an output file where to save the results. These rules permit to detect an input line according to a regular expression (regex) or line number range, filter it, pass it, colorise in foreground and background, columnise the groups of the regex and enable or disable the rule. The final goal of this tool is to ameliorate reading long and...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • Next
Auth0 Logo