17 projects for "sarvesh-project" with 2 filters applied:

  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • Streamline Azure Security with Palo Alto Networks VM-Series Icon
    Streamline Azure Security with Palo Alto Networks VM-Series

    Centrally manage physical and virtualized firewalls with Panorama

    Improve your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
    Learn more
  • 1
    Lean 4

    Lean 4

    Lean 4 programming language and theorem prover

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

    Vercel Zero

    The programming language for agents

    ...The project includes commands for checking, running, building, graph inspection, size reporting, diagnostics, and repair-oriented workflows. Its main goal is to create a systems-oriented language environment that agents can understand and act on without relying only on human-readable compiler messages.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 3
    Spindle

    Spindle

    The language used in the AP CSP Exam, now a programming language!

    Spindle is a simple language designed to help AP CSP students ace their AP Exam. Spindle code largely mirrors the code found in the AP CSP Reference Sheet and allows students and teachers to get comfortable with code in the same format it'll have on exam day.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    newRPL

    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.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 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
  • 5
    ALCHA

    ALCHA

    A New Programming Language for FPGA Projects

    ALCHA aims to reduce FPGA project develop time by means of automation and abstraction, but without loosing the low-level control that HDLs, such as Verilog, provides. It will support an object oriented programming model, abstract data and signal types, and compile-time scripting.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Ring

    Ring

    Simple and flexible programming language for applications development

    ...The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is distributed as a Free-Open Source project under the MIT License.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 7
    Enterprise

    Enterprise

    The Enterprise™ programming language

    Enterprise is a satirical open-source project that humorously critiques corporate software development practices by presenting intentionally overengineered and unnecessarily complex code structures. Rather than aiming to solve a practical technical problem, it serves as a parody of enterprise-grade software, showcasing exaggerated patterns such as excessive abstraction, redundant layers, and convoluted architectures.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    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
    Leader badge
    Downloads: 36 This Week
    Last Update:
    See Project
  • 9
    OK

    OK

    Welcome to the future of programming languages

    ...The language emphasises readability and pushing logic out into functions so cases remain simple. It includes concurrency via a map function that executes callbacks in parallel. The project is illustrative of Duffield’s vision: code should feel “magical to write” by removing what is unnecessary.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 10
    erlang-bookmarks

    erlang-bookmarks

    All about erlang programming language [powerd by community]

    ...Rather than being a software library, the repository functions as a community-maintained knowledge hub that aggregates articles, tools, tutorials, and documentation links relevant to Erlang development. The project is intended to help both newcomers and experienced engineers quickly discover high-quality learning materials and ecosystem references. Contributions are encouraged through pull requests or link submissions, making the collection continuously expandable. Its simple structure allows users to browse topics efficiently without heavy tooling or dependencies. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    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 build a portfolio of varied programming tasks. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    ArnoldC

    ArnoldC

    Arnold Schwarzenegger based programming language

    ...While humorous in nature, the language is fully functional and can be used to write real programs, showcasing how flexible compiler and interpreter design can be. The project is a playful experiment in esoteric programming languages, intended to entertain developers while also serving as an example of how language parsing and compilation can work with unconventional syntax. It demonstrates the overlap between pop culture and software development, turning famous lines into executable logic.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 13
    Go Programming Blueprints

    Go Programming Blueprints

    Source code for Go Programming Blueprints

    ...It includes materials for different editions of the book, making it useful for readers depending on the version they own. The code emphasizes building real applications rather than only learning isolated syntax. It is especially useful for Go learners who want project-based examples that connect language features with complete software designs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    The cartesian programming language

    A functional programming language

    Cartesian is a pure functional programming language, wrapped in an imperative and object oriented layer. The main goal is to separate both worlds and to have some very clean and well defined interfaces. This project is the reference implementation of the language, as an interpreter. The interpreter's goal is not performance.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Euphoria Programming Language
    This project will allow a group of people to develop the Euphoria programming language: interpreter, translator, binder, documentation etc. For more information visit https://openeuphoria.org
    Downloads: 8 This Week
    Last Update:
    See Project
  • 16
    Human Speakable Programming Language

    Human Speakable Programming Language

    foundation of the General Intelligence Operating System

    HSPL is Human Speakable Programming Language, allowing for communication between human-to-computer and human-to-human in the same language. This project has moved to http://sourceforge.net/p/spel We are currently working on human-to-computer programming-language with mostly English base vocabulary. Though once we have that, we plan to add support for other world Languages, including Chinese, Spanish, Russian, Arabic, Hindi, among others. Eventually HSPL shall be the foundation of GIOS the General Intelligence Operating System. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    ...It also serves as an exapmle on how to create an interpreter with QBASIC. The interpreter is written in QBASIC, and is licensed under the GNU GPLv2. About the unixname: The "shortname" of the project was a typo, but it was too late when I actually realised it. Features that still need to be implemented: Boolean expressions (IF) (If I ever find a flexible way to implement them, because you can't parse user input to a boolean command in QBASIC, without using a dynamically changed BAS file, which is going to fail if using it compilled) The source code should be compiled with either QB64, QuickBASIC or freeBASIC (with the -lang qb switch enabled
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB