Showing 45 open source projects for "security operating system"

View related business solutions
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Get Started Free
  • 1
    gnuplot

    gnuplot

    A portable, multi-platform, command-line driven graphing utility

    A famous scientific plotting package, features include 2D and 3D plotting, a huge number of output formats, interactive input or script-driven options, and a large set of scripted examples.
    Leader badge
    Downloads: 4,027 This Week
    Last Update:
    See Project
  • 2

    calc: C-style arbitrary precision system

    Calc: arbitrary precision C-like arithmetic & calculator

    Calc is arbitrary precision C-like arithmetic system that is a calculator, an algorithm prototyper and mathematical research tool. Calc comes with a rich set of builtin mathematical and programmatic functions.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 3
    CRC RevEng

    CRC RevEng

    Arbitrary-precision CRC calculator and algorithm finder

    CRC RevEng is a portable, arbitrary-precision CRC calculator and algorithm finder. It calculates CRCs using any of the 113 preset algorithms, or a user-specified algorithm to any width. It calculates reversed CRCs to give the bit pattern that produces a desired forward CRC. CRC RevEng also reverse-engineers any CRC algorithm from sufficient correctly formatted message-CRC pairs and optional known parameters. It comprises powerful input interpretation options. Compliant with Ross Williams'...
    Leader badge
    Downloads: 123 This Week
    Last Update:
    See Project
  • 4
    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: 69 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
    REDUCE

    REDUCE

    A Portable General-Purpose Computer Algebra System

    REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It can be used interactively for simple calculations but also provides a flexible and expressive user programming language. The development of the REDUCE computer algebra system was started in the 1960s by Anthony C. Hearn. Since then, many scientists from all over the world have contributed to its development.
    Leader badge
    Downloads: 146 This Week
    Last Update:
    See Project
  • 6
    Funiter (FUNction ITERation) is developed for educational purposes, generating graphs of several types for iteration of real and complex functions with comfortable switching between related types of graphs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    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: 6 This Week
    Last Update:
    See Project
  • 8
    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
  • 9
    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: 160 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
    newLISP for BSDs, LINUX, MacOS X, SunOS and Win32: small, fast 350+ functions, a -C-, MySQL, PostgreSQL, SQLite, ODBC, TCP/IP, UDP, XML, Java interface, string processing, regular expressions , math, financial, statistical functions, Win32 DLL
    Downloads: 3 This Week
    Last Update:
    See Project
  • 11

    eos

    Equation Operating System

    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    xorlisp

    Bit level lambda continuations and nothing else - Queue automata

    Not working yet. To deal with the Halting Problem, computing and data are navigated using debugger ops: linearForward and treeForward, which navigate an astronomically large bit string where 1 is ( and 0 is ). All pairs are derived from (). For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    Kontinuum Calculator

    Calculate various aspects of the Kontinuum RPG system.

    Kontinuum is a calculator program that enables the user to calculate all probabilistic aspects of the Kontinuum RPG system, especially the dice rules.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Pythia

    Pythia

    High quality fast "true random" number generator (shuffling) for JS

    :: Pythia :: This is a high quality fast "true random" number generator / shuffling system. This means that Pythia never ever repeats the same numbers again regardless of how many tests you do. This also means that it never generates any numbers in a predictable order no matter how many times you refresh. Pythia solves a great problem and is by far the best solution out there. How to use: var my_pythia = new pythia(); Pythia API: .generate - Generate a new random...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15

    Curvilinear and Rectilinear Motions

    Simple physics simulation of Curvilinear and Rectilinear Motions

    ...This program can be used for educational purposes as well as for any other purpose anyone would like. The executable file is a .jar files which means that it can run in any operating system that supports java. Above you can see a screenshot of the program while it is operating.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Handles Hexahedral, Tetrahedral, Quadrilateral, and Triangle meshes. Lagrangian, Hierarchic, and Monomial finite elements. Interface to PETSc solvers, adaptive mesh refinement, and extreme portablility.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    FroZenLight connects simple line art and mathematics. The source of light can be positioned so that either symmetric reflection patterns or secret messages (Cryptography) are created. Example light patterns and math exercises for education are provided.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    System Stability Tester
    System Stability Tester is a multi platform open source clone of SuperPI and comes with a GUI and a CLI. It can be used for CPU and RAM burning, stressing and benchmarking.
    Downloads: 41 This Week
    Last Update:
    See Project
  • 19
    PTools is a set of useful tools written in Pascal. It includes: scientific calculator, archiver, text editor, remote adminitration and more. It is designed to be portable across operating systems, specially Java-based mobiles, Windows and Unixes.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 20
    Java Micro Benchmark (Desktop/Server)
    Java Micro Benchmark - control tasks required to determine the comparative performance characteristics of the computer system on different platforms. Can be used to determine the effect of different software on the performance of a computer system.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    [ Interestelar 1975 ]
    A Interactive Network VideoGame
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    NoteLab is an advanced "digital notebook" specifically designed for tablet computers. With its stroke smoothing, antialiasing, and "smart rendering," NoteLab provides a beautiful and powerful note taking environment on any operating system.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 23
    MASyV (Multi-Agent System Visualization) enables one to write agent-based models/cellular automata, eg. in C, visualize them in real time & capture to movie file with MASyVs GUI & message passing lib. Includes examples: Hello World, ants, viral infection
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    This project aims to provide open source software implementing the Wedge algorithm for the estimation of parameters in dynamical systems models. This project also seeks to create tutorials and resources for those using Wedge.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    This project is for maintaining a linux system that concentrates on math, logic, and geometry related softwares.
    Downloads: 5 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next
Auth0 Logo