• $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.

    Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
    Claim $300 Free
  • One App to Replace Your Entire SaaS Stack Icon
    One App to Replace Your Entire SaaS Stack

    Projects, docs, chat, and AI in one workspace. Work faster, not across 10 tabs.

    ClickUp replaces your scattered tool stack with one AI-powered platform. Stop paying for project management, docs, chat, and time tracking separately when they all live in one place. Teams that consolidate into ClickUp cut software costs and move faster because everything is connected, not siloed across apps that don't talk to each other.
    Try ClickUp Free
  • 1
    genppi

    genppi

    GENPPI: standalone software for creating protein interaction networks

    ...Our software is compelling because the interaction networks that it creates reflect evolutionary relationships between species and obtained in Average Nucleotide Identity (ANI) analyzes. Also, It allows the user to define how he intends to explore the PP and CN characteristics through various parameters that let on the creation of customized interaction networks. For instance, one can set parameters regarding the genus, metagenome, or pangenome. In addition to the parameterization of GENPPI, it is also the user's choice what set of genomes he is going to study. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Axiom is a computer algebra system. It consists of an interpreter, a compiler and a library of algorithms. Axiom is an excellent research platform as well as a useful tool for scientific programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    Common Lisp Wrapper for Proj

    CFFI glue code to use Proj.4 library in Lisp

    CFFI glue and bindings for the Proj.4 library to provide a wealth of geographical projections in Common Lisp environment. PROJ.4 is a Cartographic Projections library originally written by Gerald Evenden then of the USGS. CL-PROJ provides complete bindings for this library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    An implementation of the Joint Generation Algorithm of Fredman and Khachiyan for the computation of a dual pair of monotone boolean formulas in DNF (hypergraph transversals, extreme rays of polyhedral cones...). User-replaceable oracle.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
    Download Now
  • 5

    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: 3 This Week
    Last Update:
    See Project
  • 6

    cl-gtk-cv

    functions for working with geographical data in lisp

    Uses opencv to create a zoom-able map, upon which you can place vectorized objects. The idea is to have these objects available in the map, in a list-view and on the REPL. Not complete. No documentation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    OKlibrary

    Research platform for SAT and other hard problems

    The OKlibrary is a research platform for generalised SAT solving. It provides tools to tackle "intractable problems" at the Maxima computer-algebra level and at the C++ level. It also automatically installs a wide range of external software.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    The Common Lisp Computational Biology (CLCB) package is intended to be a comprehensive, flexible and easy to use library for bioinformatics and computational biology.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
Auth0 Logo