Search Results for "type"
Sort By:
34 projects for "type" 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.
-
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
1
Babel
The compiler for writing next generation JavaScript
Babel is a toolchain that helps you write code in the latest version of JavaScript. It converts ECMAScript 2015+ code into a backwards compatible version of JavaScript that can be run by older JavaScript engines. With Babel you can transform syntax, polyfill features that are missing in your target environment, transform source code and more! -
2
Seed7
Interpreter and compiler for the Seed7 programming language.
...Seed7 is a general purpose programming language. It is a higher level language compared to Ada, C/C++ and Java. In Seed7 new statements and operators can be declared easily. Functions with type results and type parameters are more elegant than a template or generics concept. Object orientation is used where it brings advantages and not in places where other solutions are more obvious. Seed7 spares no effort to support portable programming. Several driver libraries assure that the access to operating system resources such as files, directories, network, clock, keyboard, console and graphics are done in a portable way. ... -
3
Ring
Simple and flexible programming language for applications development
The Ring is a practical general-purpose multi-paradigm language. The supported programming paradigms are imperative, procedural, object-oriented, declarative using nested structures, functional, meta programming and natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is... -
4
Gnostic
A compiler for APIs described by the OpenAPI Specification with plugin
Gnostic is a command-line tool and Go library developed by Google for converting OpenAPI specifications (in JSON or YAML) to and from Protocol Buffer (protobuf) representations. It allows developers to handle OpenAPI documents in a strongly typed, language-neutral, and extensible way by generating structured data models that can be used across different programming languages supported by protobuf. Using these protobuf models, developers can safely parse, validate, and manipulate OpenAPI... -
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
5
SPL Compiler
A low-level system programming language with high-level syntax
... * Enable programming-by-contract and other high-level features (as long as they incur no extraordinary costs at run-time). * Provide a stricter and more platform-independent type system than C. * Allow direct use of existing C and platform (e.g. Win32 API) libraries. This phrase from the "SPL Language Reference" says it all: "One could say SPL is what C should have been, were it not for the limitations of the time when C was designed". -
6
This project contains a library for writing compilers/type systems and toy compilers for small games.
-
7
JILRuntime/JewelScript
An object-oriented script language to embed in any application
A general purpose, object-oriented script language that compiles into code for a register based virtual machine. The language is quite similar to object-oriented high-level languages like Java and C#. The library is entirely self-sufficient and ANSI C compliant. It's main purpose is to be embedded in any application to allow automation of that application through scripting. An integrated C++ binding code generator allows you to create bindings for your application's classes in seconds.... -
8
Py-backwards
Python to python compiler that allows you to use Python 3.6 features
py-backwards is a transpiler that takes modern Python code (with newer syntax) and converts it to older Python versions so you can run it in legacy environments. For example, if you want to use f-strings, type annotations, or other Python 3.x niceties but have to deploy on a machine that only has an older interpreter, py-backwards rewrites your code to an equivalent, earlier syntax. It does this by parsing the source into an abstract syntax tree (AST), applying transformation rules, and emitting compatible code. This allows teams to write forward-looking Python without immediately upgrading all their runtime environments. ... -
9
Xsemantics
a DSL for type systems, reduction rules, interpreters for Xtext langs
Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also generate a validator in Java). -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
10
Ptolemy is an extension of Java whose goal are to enable separation of crosscutting concerns, while retaining our ability to understand separated concerns modularly. It balances modularity and expressiveness for aspect-oriented software development.
-
11
Automaton Lexer
A Java library for creating DFA-powered lexical analyzers
This project is derived from the dk.brics.automaton DFA library, version 1.11-8. The most significant change is the addition of a 'info' field to automaton states, allowing them to be associated with a token type. A few automaton operations were modified to preserve the value of this field. I have not given much thought to whether it would even make sense to preserve the 'info' field through some of the other operations. This project also includes an extension of RunAutomaton, called TokenAutomaton, that can be used as a lexer, as well as its support classes and examples of its use. ... -
12
XmlPL is a C like language with special syntax for creating and manipulating XML data. If you know Java, C or C++ and XPath then XmlPL is easy to learn. XML is a native data type and is processed more naturally using XML path expressions and inline XML.
-
13
midori programming language
dependently typed functional programming language
Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration. -
14
The OpenCL Kernel Compiler compiles OpenCL kernel files and presents any compilation errors in a form commonly used by "regular" C/C++ compilers. It is intended to be used as a supporting tool for application developers working with OpenCL. Version 0.3.0 adds additional features for saving compiled binaries and selecting platforms/devices.
-
15
-
16
-
17
Aurelia is a framework for program transformation based on a C++0x development environment. It provides libraries and tools for term rewriting, strategic programming, AST type generation, parsing.
-
18
Kaya: A statically typed, imperative cross-platform programming language with type inference, powerful data description capabilities and built-in abstractions and libraries for easy and robust web application development. http://kayalang.org/
-
19
The Tree Processing Language allows the specification of an object oriented tree structure, with strong seperation of concerns, which can be compiled into a type safe class hierarchy implementing the tree.
-
20
This is a framework for the creation of dynamic scripting languages on the .NET platform. Static typing, type inference, and true derivation from .NET classes are also planned. Two projects built on this are Boa and NetLisp. It is a work in progress.
-
21
C-style, ANT/cmdline preprocessor for java, xml and other files. Designed to run smoothly with IDEs and tools - all directives occur in comments specific to the file's type, making it syntactically valid. Line numbering (debug messages!) is preserved.
-
22
CFront is an ANSI-C (89) front end library. It provides pre-processing, parsing, and type checking, and an powerful API for examining and rewriting.
-
23
Tools for developing dynamic web sites using the Standard ML programming language, including all the software you need to create PHP-style web sites with type-safe, statically checked page generation
-
24
Meta-Ja is to Java what C++ was to C - it lets you express Java class hierarchies at a higher level of abstraction, and then writes XML Schema files, constructors, hash-access type-safe lists, get, set, copy, print, and XML parsing/generation functions.
-
25
