Search Results for "framework-3-offline"
Sort By:
Showing 60 open source projects for "framework-3-offline"
View related business solutions-
Application Monitoring That Won't Slow Your App DownFull APM with errors, performance, logs, and uptime monitoring. 99.999% uptime SLA on the platform itself.
-
AI-generated apps that pass security reviewRetool 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.
-
1
Scala 3
The Scala 3 compiler, also known as Dotty
Scala 3 is the latest major release of the Scala language—featuring a complete compiler rewrite (Dotty), new syntax with optional braces and given/using contextual abstractions, union/intersection types, opaque types, first-class enums, and better type inference. It unifies object-oriented and functional programming paradigms into a safer, more expressive language running on the JVM with full Java interoperability. -
2
Lean 4
Lean 4 programming language and theorem prover
Lean 4 is both a programming language and an interactive theorem prover, designed to support formal reasoning while also functioning as an efficient and extensible general-purpose language. The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to... -
3
TypeScript
Application-scale JavaScript
TypeScript is an open source programming language that is a typed superset of JavaScript. It adds optional static typing to JavaScript, which can support tools for large-scale JavaScript applications for any browser, host and OS. TypeScript compiles to clean, simple JavaScript, and uses existing JavaScript code and libraries. It also offers support for the latest and evolving JavaScript features, such as async functions and decorators. -
4
Solidity
The Smart Contract Programming Language
...This provides a convenient and gas-efficient way to explain to users why an operation failed. As a relatively young language, Solidity is advancing at a rapid speed. We aim for a regular (non-breaking) release every 2-3 weeks, with approximately two breaking releases per year. You can follow the implementation status of new features in the Solidity Github project. You can see the upcoming changes for the next breaking release by switching from the default branch (develop) to the breaking branch. -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
MicroPython
Python implementation for microcontrollers and constrained systems
MicroPython is a lean and efficient implementation of the Python 3 programming language that includes a small subset of the Python standard library and is optimised to run on microcontrollers and in constrained environments. The MicroPython pyboard is a compact electronic circuit board that runs MicroPython on the bare metal, giving you a low-level Python operating system that can be used to control all kinds of electronic projects. -
6
Triton
Development repository for the Triton language and compiler
Triton is a programming language and compiler framework specifically designed for writing highly efficient custom deep learning operations, particularly for GPUs. It aims to bridge the gap between low-level GPU programming, such as CUDA, and higher-level abstractions by providing a more productive and flexible environment for developers. Triton enables users to write optimized kernels for machine learning workloads while maintaining readability and control over performance-critical aspects like memory access patterns and parallel execution. ... -
7
TypeSpec
Language for defining cloud service APIs and shapes
...Using TypeSpec, you can create reusable patterns for all aspects of an API and package those reusable patterns into libraries. These patterns establish "guardrails" for API designers and make it easier to follow best practices than to deviate from them. TypeSpec also has a rich linter framework with the ability to flag anti-patterns as well as an emitter framework that lets you control the output to ensure it follows the patterns you want. -
8
SpinalHDL
Scala based HDL
SpinalHDL is a hardware description (HDL) framework embedded in Scala, enabling hardware designers to build digital circuits with modern programming abstractions. Instead of writing in Verilog or VHDL directly, users describe hardware components and their interconnects using Scala code and Spinal’s domain-specific library, which then emits synthesizable hardware (e.g. as Verilog). -
9
Prompt Declaration Language
Prompt Declaration Language is a declarative prompt programming lang
...The purpose of the Prompt Declaration Language (PDL) is to allow developers to specify the structure of prompts and to enforce it, while providing a unified programming framework for composing LLMs with rule-based systems. -
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.
-
10
YueScript
A Moonscript dialect compiles to Lua
...It is derived from Moonscript language 0.5.0 and continuously adopts new features to be more up-to-date. Moonscript is a language that compiles Lua. Since the original Moonscript has been used to write web framework lapis and run a few business websites like itch.io and streak.club with some large code bases. The original language is getting too hard to adopt new features for those that may break the stability of existing applications. So Yuescript is a new code base for pushing the language to go forward and being a playground to try introducing new language syntax or programming paradigms to make Moonscript language more expressive and productive. -
11
Lux
The Lux Programming Language
...Read carefully before using this project, as the license disallows commercial use, and has other conditions which may be undesirable for some. The language is mostly inspired by the following 3 languages. Clojure (syntax, overall look & feel), Haskell (functional programming), and Standard ML (module system). They are implemented as plain-old data-structures whose expressions get eval'ed by the compiler and integrated into the type-checker. The main difference between Lux & Standard ML is that Standard ML separates interfaces/signatures and implementations/structures. -
12
The CUE Data Constraint Language
The home of the CUE language. Validate and define text-based config
...The merging of these two concepts enables many tasks to be handled in a principled way. The CUE scripting layer defines declarative scripting, expressed in CUE, on top of data. This solves three problems: working around the closedness of CUE definitions (we say CUE is hermetic), providing an easy way to share common scripts and workflows for using data, and giving CUE the knowledge of how data is used to optimize validation. -
13
CLIPS Rule Based Programming Language
Expert System Tool
CLIPS is a forward-chaining rule-based programming language written in C that also provides procedural and object-oriented programming facilities. -
14
EMal
An easy to read programming language, with english and italian lexemes
A toy programming language that supports english and italian keywords. It's goal is to be a language for algorithm prototyping, simple enough to be teached to kids. -
15
CLAST
Parsing, AST and "walking" for Common Lisp code.
The CLAST library provides parsing, AST manipulation and "walking" for Common Lisp code. -
16
aime
A C-like, high level programming language and interpreter.
aime is a programming language intended for application extension purposes. It is simple, with a C like syntax and automatic resource management. The interpreter interface has many options for connecting the interpreted programs to the embedding application state. It allows application supervision with regard to such concerns as execution length, memory allocation, error reporting. A standalone interpreter together with many demo/test programs is included. -
17
IlyasBat
Bahasa Prosedural Mini
Sudah menjadi bahasa pemrograman prosedural sederhana, ide karya turanan dari Earl. Memanfaatkan perintah-perintah mirip dengan bahasa pemrograman modern. Kemampuan sederhananya dengan mengimpor modul, mengambil input, melakukan perhitungan, menangani percabangan dasar, dan mengakhiri program. -
18
PixelCode
Editor de Codigo para Python
Es un editor de código ligero y fácil de usar, diseñado específicamente para la programación en Python. Su interfaz intuitiva permite a los usuarios, tanto principiantes como experimentados, escribir, editar y ejecutar código de manera eficiente. -
19
PopupMonitor
Monitors Windows, emits alarm on opening. Intuitive interface.
This software allows monitoring of windows that open in a Windows system. When a new window is opened, the program emits a sound alarm. It is simple and intuitive to use and is based on an intuitive user interface. -
20
OpenPEARL
PEARL Compiler and Runtime System
PEARL is a high level procedural programming language, which was especially designed for the demanding need to have an expressive and comfortable language for solving multitasking problems when controlling technincal processes. PEARL is an abbreviation for "(P)rocess and (E)xperiment (A)utomation (R)ealtime (L)anguage". It was designed around 1975 at the IRT Institute of the Leibniz University in Hannover with the idea in mind to have an easy to learn programming language for realtime... -
21
Erlava
Hobby programming language for application development
Erlava is a hobby programming language focusing on building applications fast and easily while still intergrating with the JVM. Erlava aims to provide developers with a versatile and efficient tool for crafting high-quality software. -
22
AQL
Advanced Query Language
The clauses are beginning from "([{" and ending by "}])" and are separated by ",;" There are three basic types like Boolean (true, false), numeric and string in "'\"" List of operators: Name Description << Output ? Logical if @ Loop ?$ Returns true if variable defined ?| Logical or ?& Logical and ?! Logical negation ?/ Logical regular expression matches /- Split string by regular expression /+ Replace by regular expression // All matches = Assignment + Addition or concatenation - Subtraction / Division * Multiplication -
23
Objeck
Simple ⇒ Object-Oriented ⇒ Functional
Objeck is an object-oriented programming language with functional features. Objeck emphasizes, expression, simplicity, portability, and scalability. The programming environment consists of a compiler, virtual machine, and command line debugger with IDE plugins. -
24
DocScript
A simple, procedural programming language.
...Real-time multi-client distributed "execution sessions" Numeric literals in any base Built-in remote code-execution (DS-Remoting) Compilation to standalone .NET exes (DS-Compilation) A capability to pipe separate interpretation stages into one another. Watch the "DocScript in 3 Minutes" YouTube Video! https://www.youtube.com/watch?v=ybl5pVSJOOk Start using DocScript in the next few seconds: open cmd, and run... curl https://raw.githubusercontent.com/BenMullan/DocScript/master/_Resources/DS-QuickSetup.cmd | cmd -
25
basku
A BASIC programming framework for the Haiku Operating System
Basku is a development environment for Haiku based on Michael Haardt's BAS, a BASIC interpreter. The BASIC itself is pretty barebones, and what basku brings to the party is a set of prewritten routines that allow it to access external commands and interact with the Haiku environment. External commands supported include alert, filepanel, figlet, hdialog, yabdialog, shanty, tput. umenu and smenu. In the pipeline is support for yoshi, and hey. You are not going to write an award-winning...
