Showing 67 open source projects for "linux lisp"

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
  • 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
  • 1
    Kandid generates images using genetic algorithms. In a simulated evolution surprising images can be found calculated with Lisp expressions, Textures, Iterated Function Systems, Linear Cellular Automata, Voroni diagrams, Lindenmayer Systems and POVray
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Evide is short for "Emacs Verilog IDE". Evide is a cross-platform, intelligent, powerful and easy to use verilog developing evironment.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    A.I. security app. Development ceased.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Connect distributed simulation model components through CORBA
    Downloads: 0 This Week
    Last Update:
    See Project
  • Secure File Transfer for Windows with Cerberus by Redwood Icon
    Secure File Transfer for Windows with Cerberus by Redwood

    Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

    Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
    Try for Free
  • 5
    Computational modelling is a interdisciplinary field spanning many techniques and programming languages. AgenTools is a project dedicated to establishing increased modularity in scientific computing packages and a portal linking to other existing project
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    kin is a set of libraries and tools supporting meta-programming for engineering and technical computing applications. This JVM version of kin has been superseded by the stand-alone version being developed at http://purl.org/net/kin.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    The program implements John Koza's basic formulation of a genetic program. The application of the GP is John Sterman's beer game. The program is written in LISP, and executes in GNU clisp. I have run it successfully on both Linux and Windows.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Charlemagne is a versatile genetic programming application which includes a command-line client and an interactive console mode. It features built in input-output mapping support, and is user-extensible for complex fitness evaluation in Python and Lisp
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    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
  • Train ML Models With SQL You Already Know Icon
    Train ML Models With SQL You Already Know

    BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

    Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
    Try Free
  • 10
    AHITK deigns to be a toolkit for building human-computer interfaces for use by blind and sighted users, alike.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    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
  • 12
    Example-based Development of Grammars (EDG) is a system implemented in Lisp for building natural language grammars and lexicons incrementally and interactively.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Fractal KISS means "keep fractals simple and sensible". The objective is to discover a "common-sense" understanding of fractals and their utility.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    SKESD stands for "Structured Knowledge: Entry, Search and Display". The aim of the project is to create a cross between a Wiki and an AI knowledge representation system.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    ScenConnect shows scenarios as networks of situation and event tag sets, for fast comparisons. It links scenarios to tags, scores, and other metadata, creating situationals suitable for search, mining, machine learning, and planning.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    MATHOOL

    MATHOOL

    a tool to perform symbolic math calculations

    MATHOOL is an online and offline javascript application powered by REDUCE computer algebra system, JSXGraph and other open source javascript programs devoted to scientific calculations and graphic visualization.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    A simple, small proof checker that will accept a minimalist Lisp-ish syntax.
    Downloads: 0 This Week
    Last Update:
    See Project