4 projects for "logic programming" with 2 filters applied:

  • Skillfully - The future of skills based hiring Icon
    Skillfully - The future of skills based hiring

    Realistic Workplace Simulations that Show Applicant Skills in Action

    Skillfully transforms hiring through AI-powered skill simulations that show you how candidates actually perform before you hire them. Our platform helps companies cut through AI-generated resumes and rehearsed interviews by validating real capabilities in action. Through dynamic job specific simulations and skill-based assessments, companies like Bloomberg and McKinsey have cut screening time by 50% while dramatically improving hire quality.
    Learn More
  • The Most Powerful Software Platform for EHSQ and ESG Management Icon
    The Most Powerful Software Platform for EHSQ and ESG Management

    Addresses the needs of small businesses and large global organizations with thousands of users in multiple locations.

    Choose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
    Learn More
  • 1
    Starlark in Go

    Starlark in Go

    Starlark in Go: the Starlark configuration language, implemented in Go

    starlark-go is the official Go implementation of the Starlark programming language, a Python-like, dynamically typed configuration and scripting language originally developed for the Bazel build system. Starlark combines Python’s expressiveness and readability with deterministic execution, making it ideal for defining build configurations, scripting automation, and embedding domain-specific logic in applications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    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
    Downloads: 25 This Week
    Last Update:
    See Project
  • 3
    OK

    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?
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    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: 5 This Week
    Last Update:
    See Project
  • Cortex: Boost Developer Coding Skills Icon
    Cortex: Boost Developer Coding Skills

    Cortex makes coding easier and faster for developers. See how our portal connects tools and cuts busywork.

    Cortex is a simple portal that helps developers work smarter by linking all your tools, setting clear rules, and slashing repetitive tasks. It speeds up onboarding, updates old code, and fixes issues fast. Over 100 big companies use it to save time and get better results.
    Try it now!
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB