Search Results for "arch linux custom"
Sort By:
Showing 9 open source projects for "arch linux custom"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
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.
-
1
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... -
2
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... -
3
Ring Programming Language
Simple and flexible programming language for applications development
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. -
4
Solidity
The Smart Contract Programming Language
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... -
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.
-
5
Lumen
Custom stack-based scripting language, compiler, and bytecode VM.
Lumen is a lightweight, stack-based scripting language built from scratch in C++20, complete with its own compiler, custom bytecode format, and virtual machine. It's designed to be simple enough to pick up quickly while still exposing the real mechanics behind how programming languages work making it as much a learning tool as a usable scripting language. It's also available on Android. Install on Arch Linux: yay -S lumen-lang-git Online playground: https://lumen.olehsheremeta.com/playground Docs: https://lumen.olehsheremeta.com/ Android version GitHub: https://github.com/spikest3r/LumenRuntimeAndroid -
6
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...
-
7
alexscript
Alexscript Polish programming language
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... -
8
Pipelines
An experimental programming language for data flow
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. -
9
CoffeeLint
Lint your CoffeeScript
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... -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
- Previous
- You're on page 1
- Next