Search Results for "custom-eclipse"

...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 develop custom automation, metaprogramming tools, and domain-specific extensions instead of being limited to a fixed proving workflow. The broader Lean ecosystem also includes official tutorials, language references, examples, and installation and build tools, which reflects that the project is not just a core compiler repository but the center of a mature development platform.

Solidity is a statically-typed curly-braces programming language designed for developing smart contracts that run on Ethereum. Solidity 0.8.4 adds custom structured errors, allows more flexible configuration of the SMTChecker and fixes a bug in the Solidity ABI decoder v2. Read more about the bug here. With v0.8.4, errors can be defined inside and outside of contracts (including interfaces and libraries). This provides a convenient and gas-efficient way to explain to users why an operation failed. ...

Simple and flexible programming language for applications development. Ring is a practical general-purpose multi-paradigm language. The supported programming paradigms are Imperative, Procedural, Object-Oriented, Functional, Metaprogramming, Declarative programming using nested structures, and Natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, etc.) and can be used to create Console, GUI, Web, Games, and Mobile applications.

...Cobalt provides support for all major OOP features, including classes, objects, inheritance, polymorphism, abstraction, encapsulation, constructors, and reusable modular code design. The language uses a custom interpreter that performs lexical analysis, parsing, and runtime execution. It includes built-in standard libraries such as time, random, and math for common computational tasks without external dependencies. Cobalt also comes with a custom Windows-based IDE built using Tkinter, providing code editing, execution, and output viewing in one environment. ...

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

Pipelines is a language and runtime for crafting massively parallel pipelines. Unlike other languages for defining data flow, the Pipeline language requires the implementation of components to be defined separately in the Python scripting language. This allows the details of implementations to be separated from the structure of the pipeline while providing access to thousands of active libraries for machine learning, data analysis, and processing.

coffeelint is a linter for CoffeeScript code, analyzing style, syntax, potential errors, and code consistency issues. It scans CoffeeScript files for patterns such as missing semicolons, inconsistent indentation, unused variables, suspicious constructs, and bad practices, and reports warnings or errors. The tool is configurable via a ruleset file so projects can tailor which rules to enforce and which to allow or warn only. Because CoffeeScript’s syntax can mask subtle errors or ambiguity, a...

Xtraitj is a programming language for pure trait-based programming. It is completely compatible and interoperable with the JAVA platform without reducing the flexibility of traits. Xtraitj is integrated in Eclipse (editor with all the standard tooling) and JDT. It is implemented in Xtext, relying also on Xbase.