Search Results for "arch linux custom"

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...

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.

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...

Cobalt is a lightweight, experimental, fully object-oriented programming language built using Python. It is designed for learning programming concepts, language design, and rapid prototyping. 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...

AlexScript is an interpreted, general-purpose scripting language with entire syntax in Polish: keywords, standard library, and error messages included. You write jesli, funkcja and klasa instead of if, function and class. It's dynamically typed and object-oriented, drawing on Ruby and JavaScript, and it's implemented from scratch in Ruby as a tree-walking interpreter (lexer, parser, AST, evaluator). Distributed via source, Homebrew and Docker: brew tap N3BCKN/alexscript brew...

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...