Showing 132 open source projects for "gnu science"

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
  • Host LLMs in Production With On-Demand GPUs Icon
    Host LLMs in Production With On-Demand GPUs

    NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

    Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
    Try Free
  • 1
    Vyne Compiler

    Vyne Compiler

    A compiler that compiles the Vyne programming language.

    The compiler is aimed at compiling the vyne language. The Vyne language is a high level programming language that aims to be a very powerful alternative to the currently well established high level languages. The goal is not to reinvent the wheel, but to make it better. One thing that is important is that Vyne should not be owned by anybody. The language itself should be maintained by the community. The development website can be found on http://www.vyne.org
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    The aim of the project is to write an distributed object compiler/interpreter. Object reside on special server and can be accessed in a java/c++ style programming language through a network. This project is currently being renamed please check http://obj
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Mira is a new programming language with a C like syntax. It borrows heavily from other poplar languages and has the design goals of intuitiveness,compiler extensibility, practical functional programming and great tool support.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 5
    COMP-525 Paper is a graduate-level computer science research paper that explores compiler optimization in general.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    Chor

    A choreography programming language for concurrent systems

    Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Compiler and virtual machine of a new programming language similar to pascal with learning proposals for computer science engineering students.
    Downloads: 0 This Week
    Last Update:
    See Project
Auth0 Logo