Showing 6 open source projects for "logical"

View related business solutions
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • Waitlist App and Paging System Icon
    Waitlist App and Paging System

    We make it cheaper and easier to manage your waitlist, order backlog, and just about any other waiting scenario.

    Streamline your customer flow with our SMS-powered waitlist, reservations, and queue management app for restaurants, health care providers, and many other businesses.
    Free Trial
  • 1
    Flix

    Flix

    The Flix Programming Language

    Flix is a statically typed programming language combining functional, imperative, and logic paradigms, with first‑class Datalog constraints and a polymorphic effect system. Designed to run on the JVM, Flix enforces purity tracking at compile time, supports algebraic data types, tail‑call elimination, and allows entire Datalog programs as values.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Mangle

    Mangle

    Go library for Datalog-style logical reasoning and domain modeling

    Mangle is a programming language developed by Google for deductive database programming, serving as an advanced extension of Datalog. It is designed to unify and query data from multiple sources in a structured, declarative way while allowing developers to model complex relationships and domain knowledge beyond binary predicates. Mangle enhances traditional Datalog by introducing features such as aggregation, function calls, and optional type-checking, which make it more practical for modern...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    AQL

    AQL

    Advanced Query Language

    The clauses are beginning from "([{" and ending by "}])" and are separated by ",;" There are three basic types like Boolean (true, false), numeric and string in "'\"" List of operators: Name Description << Output ? Logical if @ Loop ?$ Returns true if variable defined ?| Logical or ?& Logical and ?! Logical negation ?/ Logical regular expression matches /- Split string by regular expression /+ Replace by regular expression // All matches = Assignment + Addition or concatenation - Subtraction / Division * Multiplication
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Avocado programming language

    Avocado programming language

    Avocado Polish programming language

    The Avocado language is compiled and currently allows for the creation of console applications. Work on Avocado and the integrated development environment (IDE) began on February 19, 2025. A unique feature of this language is the ability to write commands in Polish and English, compiling code into .exe format. The language is freely available for commercial and non-commercial projects. The Avocado source code is available under the MIT License on GitHub. Avocado is transpiled to Free...
    Leader badge
    Downloads: 15 This Week
    Last Update:
    See Project
  • BILL eliminates tedious paperwork, automating data entry and approval routing. Icon
    BILL eliminates tedious paperwork, automating data entry and approval routing.

    Automate the way you pay and get paid

    BILL is a leading financial operations platform for small and midsize businesses (SMBs). As a champion of SMBs, we are automating the future of finance so businesses can thrive. Our integrated platform helps businesses to more efficiently control their payables, receivables and spend and expense management. Hundreds of thousands of businesses rely on BILL’s proprietary member network of millions to pay or get paid faster. Headquartered in San Jose, California, BILL is a trusted partner of leading U.S. financial institutions, accounting firms, and accounting software providers. For more information, visit bill.com.
    Learn More
  • 5
    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
  • 6
    KAREL 3D C++  ( Karel the Robot in 3D )

    KAREL 3D C++ ( Karel the Robot in 3D )

    Karel - 3D language interpreter

    ...First KAREL-3D is created in 1986 after Karel the Robot, in Slovakia ( before Czechoslovakia ) on 8 bit microcomputer PMD 85-2 for school kids to learn algorithm and what is programming, teach know how to solve a logical problem, like Spock and his children from the planet Vulcan ( live long and prosper ). because it's fun Actual WebGL version: https://sourceforge.net/projects/karel-3d-webgl/
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next