• 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
  • Enterprise-grade ITSM, for every business Icon
    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

    Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
    Try it Free
  • 1

    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
  • 2
    Collection of tools for allowing CAD (Computer Aided Design) systems to interact with STEP (ISO 10303) data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    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
  • 4
    ‘intelliworm’ is a prototype simulation of a Intelligent Species of a common earth worm,which inherits human like decision making capabilities through Neural Network intelligence representation,all developed by integrating .NET with Lisp and Yacc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
    Start Free Trial
  • 5
    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
MongoDB Logo MongoDB