Showing 32 open source projects for "gnu make"

View related business solutions
  • 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
  • Stop vibe-debugging. Icon
    Stop vibe-debugging.

    Plug Claude into your app's actual errors.

    AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
    Free 30 days.
  • 1
    Natura is a programming language designed to make number theoretic programming easier for mathematicians by describing computations in a language closer to that used by mathematicians than the methods of expression provided by other programming languages
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    A pluggable unit conversion program programmed in C. It is currently console-based, but I will make a GUI for it in the coming months.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    MAED is a simple but powerfull math program with educational character. It has a Lisp like programming language, a nice GUI. It can work in client-server mode. A main goal is to make a program which can solve math problems using both numerical and symb
    Downloads: 0 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
  • 5
    Glucas is a client to make primality test for Mersenne numbers. It is related to GIMPS effort to search the bigest primes ever found. In addition, it can be used as an excellent performance test. Posix thread, OpenMP and SunMP compatible
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    kasm is an assembler for the Saturn microprocessor, used in the HP48/HP49 calculators. It uses MASD syntax, which has only very small incompatibilities with the traditional syntax, supports a few constructs that make the assembly language be closer to a
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    OPALS (OPen ALgebra Solver) is an open source program designed to make solving algebraic problems much easier. It aims to eventually provide an easy way to integrate, differentiate, and perform other complicated mathematical operations on expressions.
    Downloads: 0 This Week
    Last Update:
    See Project
Auth0 Logo