Search Results for "https"
Sort By:
30 projects for "https" with 2 filters applied:
-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
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.
-
2
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 -
3
Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
-
4
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/ -
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
5
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 -
6
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' -
7
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
-
8
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 -
9
-
Earn up to 16% annual interest with Nexo.Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
10
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 -
11
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. -
12
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). -
13
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. -
14
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. -
15
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. -
16
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 -
17
yacas
Computer calculations made easy
NOTE: Yacas and yagy development has moved to github. The new repositories are located at https://github.com/grzegorzmazur/yacas and https://github.com/grzegorzmazur/yagy . The mailing list has been moved over to https://groups.google.com/forum/#!forum/yacas . The downloads section at sourceforge will be kept up to date for the foreseable future. Yacas is an easy to use, general purpose computer algebra system. It uses its own programming language designed for symbolic as well as arbitrary-precision numerical computations. ... -
18
Qore Programming Language
Multithreaded scripting language
Qore is a scripting language supporting threading and embedded logic, designed for applying a flexible scripting-based approach to enterprise interface development but is also useful as a general purpose language. No more development or releases happen on sourceforge; development has moved to https://github.com/qorelanguage/qore -
19
JIProlog
Java Internet Prolog (Moved to GitHub)
N.B. THE PROJECT HAS BEEN MOVED TO GITHUB https://github.com/jiprolog/ JIProlog is a cross-platform pure Java 100% Prolog interpreter that integrates Prolog and Java languages in a very fashinating way. JIProlog is compliant with the major Prolog interpreters. It supports most of ISO Prolog specifications and the most common and used built-in predicates, JIProlog allows to call Prolog predicates from Java without dealing with native code (JNI or JNA) and allows to invoke Java methods from Prolog in the same way you call predicates. -
20
This project will allow a group of people to develop the Euphoria programming language: interpreter, translator, binder, documentation etc. For more information visit https://openeuphoria.org
-
21
-
22
algebrain
Math Parser for Java
Moved to GitHub https://github.com/fedups Algebraic equation processing at run time for Java programs. Supports variables, functions with parameters, rate table lookups, an embedded "if" function... Infinitely extensible, very small footprint. -
23
...Variables, functions, sets, structures, etc. are all the same thing in Yazoo -- this gives it simplicity and significant flexibility. Yazoo is obsolete! Its much-improved successor is Cicada script, which can be found at: https://github.com/heltilda/cicada/tree/master
-
24
mod_pLua
An Apache module for developing web applications using Lua
mod_pLua is a module for the Apache httpd web server, that enables the use of preprocessed (html-embedded) Lua scripts using a PHP-like syntax as well as CGI-style interfacing, but at a much faster pace. For a more detailed description, see the wiki: https://sourceforge.net/p/modplua/wiki/ -
25
Remote Invocation Framework (RIF) is a framework for RMI that is 100% dynamic and uses WS over HTTP and HTTPS for brokering. Finally a framework exists to enable RMI with less that 6 lines of code including both the client & server side.
