Showing 52 open source projects for "https"

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
  • Cut Cloud Costs with Google Compute Engine Icon
    Cut Cloud Costs with Google Compute Engine

    Save up to 91% with Spot VMs and get automatic sustained-use discounts. One free VM per month, plus $300 in credits.

    Save on compute costs with Compute Engine. Reduce your batch jobs and workload bill 60-91% with Spot VMs. Compute Engine's committed use offers customers up to 70% savings through sustained use discounts. Plus, you get one free e2-micro VM monthly and $300 credit to start.
    Try Compute Engine
  • 1
    ...This project also houses the CVS modules for BWidgets, tclbench, mclistbox, tclapps, and tklib. All of these are deprecated in favor of the fossil repositories found at the sites listed below. Bug reports to https://core.tcl.tk/tcllib https://core.tcl.tk/tklib https://core.tcl.tk/tclapps https://core.tcl.tk/bwidget https://core.tcl.tk/tclbench https://core.tcl.tk/mclistbox https://core.tcl.tk/widget Follow code development at the same sites.
    Leader badge
    Downloads: 543 This Week
    Last Update:
    See Project
  • 2
    XSB
    Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
    Leader badge
    Downloads: 57 This Week
    Last Update:
    See Project
  • 3
    Community Z Tools

    Community Z Tools

    Tool support for the Z formal notation

    Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt
    Leader badge
    Downloads: 163 This Week
    Last Update:
    See Project
  • 4
    MinForth

    MinForth

    A minimalistic but complete standard Forth compiler in C

    ...Main but not exclusive application for the transpiler is to build the MinForth V3.4 high-level Forth compiler. MinForth V3.4 is widely conformant to the Forth-2012 draft standard and passes the usual test suites. Feedback and bug reports are welcome per - Usenet forum https://groups.google.com/forum/#!forum/comp.lang.forth - email to minforth@gmx.net
    Downloads: 17 This Week
    Last Update:
    See Project
  • 99.99% Uptime for MySQL and PostgreSQL on Google Cloud Icon
    99.99% Uptime for MySQL and PostgreSQL on Google Cloud

    Enterprise Plus edition delivers sub-second maintenance downtime and 2x read/write performance. Built for critical apps.

    Cloud SQL Enterprise Plus gives you a 99.99% availability SLA with near-zero downtime maintenance—typically under 10 seconds. Get 2x better read/write performance, intelligent data caching, and 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server with built-in vector search for gen AI apps. New customers get $300 in free credit.
    Try Cloud SQL Free
  • 5
    JMEScriptGUI

    JMEScriptGUI

    Pequeño IDE para el lenguaje JMEScript.

    Con este IDE podrá probar cualquier script escrito en JMEScript con toda la funcionalidad del lenguaje, incluidos gráficos 2D y conexión MySQL. La versión para Android, en este momento, tiene menos funcionalidad y ejecuta la versión 0.1 de JMEScript. Parser JME y lenguaje JMEScript en https://sourceforge.net/projects/jme/ Documentación en https://morenobarrientos-jme.site44.com/ Código fuente y UDL para Notepad++ en pestaña 'FILES'
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    SciTECO

    SciTECO

    Advanced TECO dialect and interactive screen editor based on Scintilla

    SciTECO is an interactive TECO dialect, similar to Video TECO. It also adds features from classic TECO-11, as well as unique new ideas. Project development takes place here: https://git.fmsbw.de/sciteco The download archive is mirrored at Sourceforge, but for nightly builds check out: https://sciteco.fmsbw.de/downloads/nightly/
    Downloads: 4 This Week
    Last Update:
    See Project
  • 7
    JME (Java Math Expression)

    JME (Java Math Expression)

    Evaluador de expresiones matemáticas para Java en español

    ...También implementa un potente modo REPL que permite usar interactivamente la mayoría de características del lenguaje implementado por la biblioteca JME, incluida la importación y exportación CSV, HTML, JSON y XML. Puede consultarse la documentación de usuario y de desarrollador en la página https://miguelalejandromorenobarrientos.github.io/JmeDoc/ IDE JMEScriptGUI https://sourceforge.net/projects/j
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8

    HyperCLIPS

    CLIPS compatible application which allows a high performance execution

    HyperCLIPS was designed for high performance, especially with the CLIPS program which have a great deal of numeric calculation or memory allocation, along with keeping almost full compatibility with the original version of CLIPS. You can use HyperCLIPS to run CLIPS programs with no modification. The original version of CLIPS Rule Based Programming Language is available from here. https://sourceforge.net/p/clipsrules/ The misclns4.tst is a good example for it because HyperCLIPS performs 200% - 400% faster than the original version of CLIPS. The CLIPS test suite(including misclns4.tst) are available from here. https://sourceforge.net/p/clipsrules/code/HEAD/tree/branches/63x/test_suite
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    GoAWK

    GoAWK

    A POSIX-compliant AWK interpreter written in Go, with CSV support

    AWK is a fascinating text-processing language, and somehow after reading the delightfully-terse The AWK Programming Language I was inspired to write an interpreter for it in Go. Licensed under MIT license Source: https://github.com/benhoyt/goawk Visit: http://albanese.atwebpages.com
    Downloads: 8 This Week
    Last Update:
    See Project
  • Cut Data Warehouse Costs up to 54% with BigQuery Icon
    Cut Data Warehouse Costs up to 54% with BigQuery

    Migrate from Snowflake, Databricks, or Redshift with free migration tools. Exabyte scale without the Exabyte price.

    BigQuery delivers up to 54% lower TCO than cloud alternatives. Migrate from legacy or competing warehouses using free BigQuery Migration Service with automated SQL translation. Get serverless scale with no infrastructure to manage, compressed storage, and flexible pricing—pay per query or commit for deeper discounts. New customers get $300 in free credit.
    Try BigQuery Free
  • 10
    Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language, and is implemented in Java. Using JADE a multi-agent system can be distributed over a network effortlessly. This project was moved to https://jason-lang.github.io
    Downloads: 26 This Week
    Last Update:
    See Project
  • 11
    Dyalect

    Dyalect

    Dyalect is a programming language for .NET Core

    ...Dyalect offers modern syntax, inspired by such languages as C#, Swift, Go and Rust, first class functions, coroutines, expressive modules, a dynamic type system with an ability to extend existing types with new functions and much more. Dy is shipped with a crossplatform interactive console. Main repo: https://github.com/vorov2/dyalect
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    eXist-db

    eXist-db

    eXist-db is a feature rich Open Source native XML database

    eXist-db is a native XML database featuring efficient, index-based XQuery processing, extensions for keyword search, XUpdate support, XSLT support, XForms support, REST and tight integration with existing XML development tools. Moved to Github - https://www.github.com/exist-db/exist
    Downloads: 12 This Week
    Last Update:
    See Project
  • 13
    Moved to https://codeberg.org/andybalaam/subs-scheme
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    PC-BASIC - a GW-BASIC emulator

    PC-BASIC - a GW-BASIC emulator

    A free, cross-platform emulator for GW-BASIC, PCjr & Tandy BASIC

    .... -- For documentation and the latest releases, please see the official homepage: www.pc-basic.org Four source code, discussions and to report bugs please see the GitHub project page https://github.com/robhagemans/pcbasic
    Leader badge
    Downloads: 104 This Week
    Last Update:
    See Project
  • 15

    Picobat (formerly Dos9)

    A free cross platform command prompt

    This repository is not updated anymore. The project name has changed to Picobat and is now hosted at https://github.com/darkbatcher/picobat Dos9 is a free, cross-platform, command prompt directly inspired from cmd.exe, the windows command prompt. Dos9 aims to be as compatible as possible with cmd.exe, but it also aims to eases batch by providing a large set of commands.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16
    BeanShell Double-Click

    BeanShell Double-Click

    Run BeanShell scripts by double-clicking them

    ...Only Windows is supported currently but other systems could be added. To start the install process, just double-click the beanshell-setup.jar from your desktop or Windows Explorer. Go to https://github.com/gungwald/beanshell-setup for the code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17

    s(ASP)

    Implements the stable model semantics without grounding.

    ...Details of how s(ASP) works can be found in the following paper: Marple, Kyle, Elmer Salazar, and Gopal Gupta. "Computing Stable Models of Normal Logic Programs Without Grounding." arXiv preprint arXiv:1709.00501 (2017) (https://arxiv.org/abs/1709.00501).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    KAREL 3D WebGL

    KAREL 3D WebGL

    Children's learning programming language Karel the Robot in 3D

    ...After download and unzip, runable (run html file) without installation in internet browser. Tested in EDGE and Chrome. Version without WebGL, and just as one file (+ include examples in text file): https://sourceforge.net/projects/karel-3d/ C++ version: https://sourceforge.net/projects/karel-3d-cpp/
    Downloads: 4 This Week
    Last Update:
    See Project
  • 19

    PythonQt

    Dynamic Python binding for Qt Applications

    NOTE: PythonQt has been moved to https://github.com/MeVisLab/pythonqt PythonQt is a dynamic and lightweight script binding of the Qt framework to the Python language. It can be easily embedded into Qt applications and makes any QObject derived object scriptable via Python without the need of wrapper code generation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20

    baffle

    Baffle Is an extension to Brainfuck language, it adds a stack, more

    baffle Is an extension to BF language (https://esolangs.org/wiki/brainfuck), which itself in turn is a extension of Turing machine. baffle extends BF by adding a stack, support for procedures, adding more arithmetic instructions, and a register. baffle can run original BF programs, and while it's not the fastest implementation of BF, but it's written in such a way that makes it easier to replace the instruction set, and to write similar languages.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    MorganaXProc (Implements XProc 1.0)

    MorganaXProc (Implements XProc 1.0)

    A Java implementation of XProc: An XML Pipeline Language

    This project is now abandoned in favour of MorganaXProc-III which implements XProc 3.0: https://sourceforge.net/projects/morganaxproc-iiise/ MorganaXProc is a full implementation of XProc: An XML Pipeline Language (W3C Recommendation 11 May 2010) written in Java, supporting all required and optional steps, the steps proposed on EXProc.org and also the document templating steps "p:in-scope-names" and "p:template". XPath 2.0 or XPath 3.0 is used as expression language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    KAREL 3D

    KAREL 3D

    Learning programming language for kids

    ...Wiki include ZIP with scan of original historical manuals in Slovak language from years 1987 - 1990 Today exist some variants (not mine) like: LightBot or Swift Playgrounds on tablets. Karel 3D from Version 8 is different from other Karels, can bulid a Bridges. WebGL version: https://sourceforge.net/projects/karel-3d-webgl/ C++ version: https://sourceforge.net/projects/karel-3d-cpp/
    Downloads: 4 This Week
    Last Update:
    See Project
  • 23
    KAREL 3D C++  ( Karel the Robot in 3D )

    KAREL 3D C++ ( Karel the Robot in 3D )

    Karel - 3D language interpreter

    ...First KAREL-3D is created in 1986 after Karel the Robot, in Slovakia ( before Czechoslovakia ) on 8 bit microcomputer PMD 85-2 for school kids to learn algorithm and what is programming, teach know how to solve a logical problem, like Spock and his children from the planet Vulcan ( live long and prosper ). because it's fun Actual WebGL version: https://sourceforge.net/projects/karel-3d-webgl/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Classic BCPL for the ATARI ST

    Classic BCPL for the ATARI ST

    BCPL was designed by Martin Richards at Cambridge University (1966)

    ...Source credits include: Martin Richards - BCPL Kit http://www.cl.cam.ac.uk/~mr10/ Robert Nordier (Translated interp to C) http://www.nordier.com/ Serge Vakulenko (Translated cg/syn/trn to C) https://github.com/sergev/b I'm sure there are other names, but those are the ones on the source files. The code now compiles clean for the Atari ST, so it should work for anything else.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    ScummVM

    ScummVM

    A cross-platform interpreter for many point-and-click adventure games

    ...This includes LucasArts SCUMM games (such as Monkey Island 1-3, Day of the Tentacle, Sam & Max, ...), many of Sierra's AGI and SCI games (such as King's Quest 1-6, Space Quest 1-5, ...), Discworld 1 and 2, Simon the Sorcerer 1 and 2, Beneath A Steel Sky, Lure of the Temptress, Broken Sword 1 and 2, Flight of the Amazon Queen, Gobliiins 1-3, The Legend of Kyrandia 1-3, many of Humongous Entertainment's children's SCUMM games (including Freddi Fish and Putt Putt games) and many more. The project mailing lists have been moved to http://lists.scummvm.org The project tracker has been moved to https://bugs.scummvm.org
    Leader badge
    Downloads: 130 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • Next
MongoDB Logo MongoDB
Gen AI apps are built with MongoDB Atlas
Atlas offers built-in vector search and global availability across 125+ regions. Start building AI apps faster, all in one place.
Try Free →