Search Results for "linux-gnome" - Page 6
Sort By:
Showing 243 open source projects for "linux-gnome"
View related business solutions-
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.
-
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
1
Ravi Programming Language
Ravi is a dialect of Lua, featuring limited optional static typing
Ravi Programming Language is a derivative of Lua 5.3 with limited optional static typing and MIR-based JIT compiler. Ravi is a derivative/dialect of Lua with limited optional static typing and JIT/AOT compilers. The name Ravi comes from the Sanskrit word for the Sun. Lua is perfect as a small embeddable dynamic language so why a derivative? Ravi extends Lua with static typing for greater performance under JIT compilation. However, static typing is optional and therefore Lua 5.3 programs are... -
2
Higher Order Kind
A modern proof language
A Kubernetes-based tool for creating local clusters, ideal for testing and CI/CD. -
3
XL (eXtensible Language) is a general purpose compiled programming language. XL doesn't force you to use a limited set of concepts (such as "objects"). Instead, it can be extended (through libraries) to use the concepts that are natural to your a
-
4
OK
Welcome to the future of programming languages
OK? is a modern, dynamically typed programming language created with a strong opinion: to remove needless complexity and help programmers write code that matters. It eliminates many common language features (e.g., ternary operators) in favour of a consistent, minimal syntax: for example it uses only switch statements for control flow and has only one comparison operator. OK? also treats errors as plain values (strings/arrays) and removes inheritance in favour of what it calls “evolution over... -
Free and Open Source HR SoftwareGive your HR team the tools they need to streamline administrative tasks, support employees, and make informed decisions with the OrangeHRM free and open source HR software.
-
5
Inform
The core software distribution for the Inform 7 programming language
Inform is the core distribution of a powerful programming language and design system created for writing interactive fiction, where authors describe stories as text adventure games that players explore through typed commands. The language is distinctive for its natural-language-inspired syntax that reads almost like English, allowing storytellers to define rooms, objects, characters, and narrative logic in an intuitive way that emphasizes expressive clarity and literary structure. When you... -
6
choosenim
Tool for installing and managing multiple versions of Nim language
choosenim is a version manager for the Nim programming language, allowing users to install, update, and switch between different versions of Nim easily. -
7
SWLPC is both a stand alone scripting (interpreted) language and MUD programming language derived from LPC.
-
8
X11-Basic
A BASIC interpreter and compiler with graphics.
X11-Basic is a dialect of the BASIC programming language with graphics capability that integrates features like shell scripting, cgi-Programming and full graphical visualisation into the easy to learn basic language on modern computers. -
9
Vale
Compiler for the Vale programming language
Vale is a systems programming language and compiler that strives to combine performance, safety, and ease in a way that avoids many of the complexities of traditional memory management techniques. It is ahead-of-time (AOT) compiled, targeting LLVM as a backend, and is statically typed. The language introduces a concept called generational references to provide memory safety without relying on a garbage collector, and aims for “safe without a borrow checker” (i.e. reducing the burden on the... -
HSI Donesafe | #1 Rated Cloud EHS Software | ESG ReportingHSI Donesafe is a no-code, cloud-based EHS software that simplifies safety, compliance, and risk management, transforming complex processes into user-friendly workflows.
-
10
CoffeeScript
Unfancy JavaScript
CoffeeScript is a lightweight programming language that compiles into JavaScript. It adds syntactic sugar inspired by Ruby, Python, and Haskell to improve brevity and readability, while producing predictable and efficient JavaScript output. Its design emphasizes that “It’s just JavaScript,” meaning any JS library works seamlessly, and compiled output is clean and performant. Adds syntactic sugar like list comprehensions and destructuring assignment. Supports literate programming via... -
11
Carp
A functional, systems programming language with linear types
Carp is a statically typed, functional programming language designed for real-time and systems programming. It features a Lisp-like syntax, strong compile-time checks, and linear type semantics that ensure memory safety without a garbage collector. Carp targets C as its backend, generating performant and predictable native code while offering functional abstractions and interactive development via REPL. -
12
Evaluate
The homemade professional compiled programming language
A homemade professional compiled programming language. It compiles to NASM and can cross-compile, though it's cross-compilation capabilities haven't been verified. -
13
CSharpLang
The official repo for the design of the C# programming language
This is the official repository for the design and evolution of the C# programming language. It's where language features are proposed, discussed, designed, and specified. It contains feature proposals, notes from language design meetings, and the evolving specification. Language Design Meetings (LDMs) are held by the LDT and occasional invited guests, and are documented in Design Meeting Notes in the meetings folder, organized in folders by year. The lifetime of a design meeting note is... -
14
Squirrel is a light weight programming language featuring higher-order functions,classes/inheritance,delegation,tail recursion,generators,cooperative threads,exception handling, reference counting and garbage collection on demand. C-like syntax.
-
15
newRPL
The classic RPL programming language reimplemented and reimagined.
This project reimplements from scratch the RPL language made popular by HP programmable calculators, in portable C/C++. The main goal is to release a complete computing environment for various targets. There's currently 4 active targets: the HP 50g, HP39gs and HP40gs calculators and a PC simulator (see the downloads section!). Other ports are planned for the future. -
16
Fennel
Lua Lisp Language
Fennel is a programming language that brings together the speed, simplicity and reach of Lua with the flexibility of a lisp syntax and macro system. Full Lua compatibility: Easily call any Lua function or library from Fennel and vice-versa. Zero overhead: Compiled code should be just as efficient as hand-written Lua. Compile-time macros: Ship compiled code with no runtime dependency on Fennel. Embeddable: Fennel is a one-file library as well as an executable. Embed it in other programs to... -
17
Programming language designed to simplify the development of small and large-scale networked applications. PROSE includes an execution engine and language that compiles into platform-independent bytecode. Bytecode can also be assembled directly.
-
18
Curv
A language for making art using mathematics
Curv is a programming language for creating art using mathematics. It's a 2D and 3D geometric modelling tool that supports full colour, animation and 3D printing. Curv is a simple, powerful, dynamically typed, pure functional programming language. Curv is easy to use for beginners. It has a standard library of predefined geometric shapes, plus operators for transforming and combining shapes. These can be plugged together like Lego to make 2D and 3D models. Coloured shapes are represented... -
19
quire-lang
A programming language for genetic data
quire is a scripting language for performing calculations on information from genetic experiments. Although quire is capable of performing arbitrary calculations, it is really a domain-specific language driven by convenience in working in the problem domain over speed or memory usage. quire has a facility to add in binary modules to perform more intensive calculations. -
20
MANOOL
Programming language with expressive power and a simple implementation
MANOOL is a practical, homoiconic, dynamic, multiparadigm general-purpose programming language with a functional core. It has high expressive power but is implemented in less than 10K LOC of optimized, idiomatic C++11 for native run-time environments. MANOOL is meant to compare and compete directly with Python, PHP, Ruby, Perl, and Tcl, although incidentally it has some combination of unusual features. Example: {{extern "manool.org.18/std/0.2/all"} in WriteLine[Out; "Hello,... -
21
Kookaburra
Cross-Platform, Object-Oriented Programming language. With Kookaburra
Kookaburra is a simple programming language. With Kookaburra you can choose between the powerful CLI (Command Line Interface), or start coding with its' intuitive syntax. The syntax is simple and efficient. Create apps/games and more that are fine-tuned to perfection. Kookaburra is completely free to use, using only local files and no data/telemetry collection. Our aim is to power creativity and inspire young developers. That's why we care about privacy and safety. We love hearing feedback... -
22
ark
The esoteric programming language that is *somewhat* useful.
-
23
PseudoD
An interpreted Programming Language
PseudoD is an interpreted programming language written in C++ oriented to spanish programmers. PseudoD es un lenguaje de programación interpretado, escrito en C++ y orientado al lenguaje español. Cualquier duda o pregunta se puede publicar en los foros de discusión. -
24
Wren
Wren is a small, fast, class-based concurrent scripting language
Think Smalltalk in a Lua-sized package with a dash of Erlang and wrapped up in a familiar, modern syntax. The VM implementation is under 4,000 semicolons. You can skim the whole thing in an afternoon. It's small, but not dense. It is readable and lovingly commented. A fast single-pass compiler to tight bytecode and a compact object representation help Wren compete with other dynamic languages. There are lots of scripting languages out there, but many have unusual or non-existent object... -
25
ats2-lang
ATS2: Unleashing the potentials of types and templates
ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS. ATS2 extends ATS with an advanced template system, allowing functional programming to be employed in a setting where only bare minimal run-time support is available. In addition, the...
