Showing 45 open source projects for "https"

View related business solutions
  • 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
  • AI-generated apps that pass security review Icon
    AI-generated apps that pass security review

    Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

    Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
    Try Retool free
  • 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
  • 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
  • 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 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
  • 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
    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
  • 14

    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
  • 15
    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
  • 16

    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
  • 17
    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
  • 18

    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
  • 19
    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
  • 20
    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
  • 21
    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
  • 22
    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
  • 23
    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
  • 24
    Cicada scripting language

    Cicada scripting language

    A simple scripting language for embedded C code.

    ...The Cicada language is in some sense as simple as possible: variables, sets, functions, function arguments and classes are all the same thing. This gives it some unique capabilities in function calling, etc. Cicada script has been moved to: https://github.com/heltilda/cicada/tree/master
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Portugol visualg 3.0

    Portugol visualg 3.0

    Visualg versão 3.0.6.2 (última de revisão 23/01/2016)

    ...E o VISUAL-G 3.0 é a ferramenta de interpretação de portugol no Brasil e no mundo! Você pode mudar as roupagens em tempo de execução, também pode ajustar cores, fontes, etc. https://sourceforge.net/projects/visualg30/ Para contacto mandem um E-mail para: professor.antonio.nicolodi@gmail.com
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next
MongoDB Logo MongoDB