Showing 239 open source projects for "gnu/linux"

View related business solutions
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB 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.
    Start Free
  • 1
    Kookaburra

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    ark

    The esoteric programming language that is *somewhat* useful.

    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    PseudoD

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Wren

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Secure File Transfer for Windows with Cerberus by Redwood Icon
    Secure File Transfer for Windows with Cerberus by Redwood

    Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

    Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
    Try for Free
  • 5

    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...
    Leader badge
    Downloads: 37 This Week
    Last Update:
    See Project
  • 6

    dats

    A programming language used for music composition.

    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Dinrus

    Dinrus

    D in Russian

    Dinrus is a shortcut for 'D in Russian'. It is a sublanguage of D programming language for Russian speaking users. It is fully compatible with D1, but has its own runtime, garbage collection, and other modules.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    SPL Compiler

    A low-level system programming language with high-level syntax

    A new system programming language designed to occupy the same niche C is currently holding, that allows for easier development of large platform-independent systems. The aims are to: * Keep all of C's system programming strengths. * Be as efficient as C (at run-time) and as high-level as possible for the programmer. * Promote modularity and ease the development of large-scale component-based software. * Enable programming-by-contract and other high-level features (as long as...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 9
    Mega Project List

    Mega Project List

    List of practical projects that anyone can solve in any prog language

    Mega Project List by Karan Goel is a massive list of practical programming project ideas that anyone can solve in any programming language, organized into logical categories (Numbers, Classic Algorithms, Data Structures, Text, Networking, Web, Files, Graphics & Multimedia, Security, etc.). The concept is simple but powerful: instead of just memorizing algorithms, you pick a project (for example “Binary to Decimal and Back Converter”), implement it in your favorite language, and gradually...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    Let your crypto work for you

    Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • 10
    Ubik Code IDE II

    Ubik Code IDE II

    New programming language simple, free, secure, open-source.

    The Ubik Code IDE is used to debug and edit programs in Ubik Code. The Ubik Code is a powerful object-oriented programming language. Examples of programs are available in the "Ubik Samples" folder. To learn programming in Ubik Code. Documentation : http://ubikdoc.tk/ More Informations : http://ubik.tk/ http://ubikcodeide.cf/ Open-Source: https://github.com/Alan-Kubiak-Zero-One/The-Ubik-Code
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    gluon

    gluon

    A static, type inferred and embeddable language written in Rust

    Gluon is a static, type inferred and embeddable language written in Rust. Gluon is a small, statically-typed, functional programming language designed for application embedding. Static typing makes it easier to write safe and efficient interfaces between gluon and the host application. Type inference ensures that types rarely have to be written explicitly giving all the benefits of static types with none of the typing. Marshalling values to and from gluon requires next to no boilerplate,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Accelerate

    Accelerate

    Embedded language for high-performance array computations

    Data.Array.Accelerate defines an embedded language of array computations for high-performance computing in Haskell. Computations on multi-dimensional, regular arrays are expressed in the form of parameterized collective operations (such as maps, reductions, and permutations). These computations are online-compiled and executed on a range of architectures. Accelerate is a free, general-purpose, open-source library that simplifies the process of developing software that targets massively...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Dart

    Dart

    Dart is a client-optimized language for fast apps on any platform

    The Dart SDK, including the VM, dart2js, core libraries, and more. Develop with a programming language specialized around the needs of user interface creation. Make changes iteratively, use hot reload to see the result instantly in your running app. Compile to ARM & x64 machine code for mobile, desktop, and backend. Or compile to JavaScript for the web. Mature and complete async-await for user interfaces containing event-driven code, paired with isolate-based concurrency. A programming...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 14
    Idris-dev

    Idris-dev

    A Dependently Typed Functional Programming Language

    Idris‑dev is the development version of Idris 1, a general-purpose functional programming language featuring full dependent types, designed for writing type-safe programs and proofs within the language itself. It compiles to C and JavaScript (for Node.js and browsers), and supports code generation via substitute backends. This repository represents the latest development version of the language, and may contain bugs that are being actively worked on. For those who wish to use a more stable...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Tao3D

    Tao3D

    Tao3D is a programming language for real-time interactive 3D

    Tao3D is a programming language for real-time interactive 3D. It lets you easily create dynamic, interactive, data-rich presentations, small applications, user interface concepts, and more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Emojicode

    Emojicode

    World’s only programming language that’s bursting with emojis

    Emojicode is an open-source, full-blown programming language consisting of emojis. As a multi-paradigm language, Emojicode features object orientation, optionals, generics, closures, and protocols. Emojicode compiles native machine code using lots of optimizations that make your code fast. Emojicode comes with a comprehensive set of default packages. And you can easily write your own. We believe that Emojis have expressive force. Let’s use that to make programming more fun and accessible....
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Atari OSS Action

    Atari OSS Action

    Action a programming language for Atari 8-bit

    Action! is a programming language, with integrated editor, debugger, and 6502 compiler, for the Atari 8-bit family of microcomputers. Action! was created by Clinton Parker and released on cartridge by Optimized Systems Software in 1983. Its syntax is similar to that of ALGOL 68. Action! is significant for its high performance, which allows games and graphics demos to be written in a high-level language without use of hand-written assembly language code. Action! language constructs were...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    faish

    faish

    An implementation of the Squl declarative programming language.

    Faish is an implementation of the Squl programming language, a variant of Prolog which is intended for use in artificial intelligence. Faish is written using VisualWorks Smalltalk, http://www.cincomsmalltalk.com/.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19

    ROSOLEK

    A programming language made for fun

    ...See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see <https://www.gnu.org/licenses/>.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    KAREL 3D WebGL

    KAREL 3D WebGL

    Children's learning programming language Karel the Robot in 3D

    KAREL 3D written in JavaScript with WebGL is a children's programming language for teaching algorithms. This is later variant from Karel the Robot in 3D, created in 1986 for 8bit microcomputer PMD 85-2. Support full recursion, create new commands, complex commands with condition from dialog and direct control with keys, language translation. Objects: brick, wall, mark, fence. Check out the Wiki (here) for more examples and pictures. Include ZIP with original historical...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Eta

    Eta

    The Eta Programming Language, a dialect of Haskell on the JVM

    A powerful programming language to build concurrent & distributed systems on the JVM. Eta is a pure, lazy, strongly typed functional programming language on the JVM. It brings two big ecosystems, the JVM and Haskell, together. This allows you to harness the best of both ecosystems to build your applications quickly and effectively. Eta's concurrency support helps you to build highly scalable systems. Eta has a strongly-typed Foreign Function Interface (FFI) that allows you to safely...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 22

    simple-lang

    The Simple Intelligent and Modular Programming Language & Environment

    A simple, plain and innovative programming with multi-paradigm. It can be embedded in C/C++ projects. The language is portable to various OS including windows, macOS, any linux and unix distros and other OS. The language is small and fast
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Pipelines

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    RaptorJIT

    RaptorJIT

    A dynamic language for system programming (LuaJIT fork)

    RaptorJIT is a Lua implementation suitable for high-performance low-level system programming. If you want to use a simple dynamic language to write a network stack; a hypervisor; a unikernel; a database; etc, then you have come to the right place.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB