Showing 8 open source projects for "lambda calculus"

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
  • Desktop and Mobile Device Management Software Icon
    Desktop and Mobile Device Management Software

    It's a modern take on desktop management that can be scaled as per organizational needs.

    Desktop Central is a unified endpoint management (UEM) solution that helps in managing servers, laptops, desktops, smartphones, and tablets from a central location.
    Learn More
  • 1
    PLT (Programming Languages Theory)

    PLT (Programming Languages Theory)

    Programming Language Theory

    Curated roadmap to Programming Language Theory, collecting seminal papers, books, and resources into a navigable structure for self-study. It spans foundational topics like lambda calculus, type systems, interpreters, compilers, and formal semantics, while also pointing to contemporary areas such as effect systems, dependent types, and verification. Each section clusters materials by theme so learners can build understanding step by step instead of grazing at random. The list emphasizes primary sources and high-quality lectures, encouraging readers to engage with rigorous treatments rather than superficial summaries. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    LIPS is an easy-to-use command line interpreter for the lambda-calculus. It supports different evaluation strategies, a trace-mode, abbreviations and typing. Furthermore LIPS allows to export interpreter-sessions to a user-definable format (e.g., LaTeX).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Combinatory Reduction Systems Extended
    Implementation of Combinatory Reduction Systems (CRS) with experimental extensions, in Java. CRS is a formalism for higher-order rewriting invented by J.W.Klop in 1980. For further details see the Project/Web Site.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    LPIA

    Programming language for artificial intelligence

    LPIA is an interpreted symbolic functional language with multi-process capabilities and predefined pattern matching. It is inspired by combinatory logic, lambda calculus, Scheme and Forth. LPIA est un langage symbolique fonctionnel interprété avec des possibilités multi-processus et un filtrage prédéfini. Il est inspiré par la logique combinatoire, le lambda calcul, Scheme et Forth.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Manage queues and reduce operational costs Icon
    Manage queues and reduce operational costs

    Improve the waiting experience, gather service intelligence, and make data-driven decisions.

    Long queues cost businesses across the world trillions of dollars in lost sales. Customers who experience poor queuing are less likely to stay and recommend your business. Compare the performance of different locations and departments. Monitor the number of visitors waiting, average wait times, and other metrics. Give your staff the tools they need to supercharge your customer service. Recognize your team’s achievements and identify opportunities for growth. Easily measure and share performance results. Use service reports to keep track of KPIs and the effectiveness of service strategy. Eliminate in-person lines by allowing customers to join a virtual waitlist using their phones. Monitor your line in real-time. Let customers safely wait in their car, at home, or outside. Notify them when you are ready to serve them. Give customers regular updates and wait times. Make them feel like VIPs by talking to them directly and asking for their feedback.
    Learn More
  • 5
    A simple .NET/mono application which interprets and evaluates untyped lambda calculus expressions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Pagkalos is an interpreted language written in Java. It supports the lambda-calculus and object-oriented techniques. All statements are writeen in reversed polish notation. Java-classes, objects and methods are easily accessible with the dot-notation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    An interpreter of lambda calculus. It shows reduction process of lambda terms. Several evaluation strategies are supported. Output format can be selected from LaTex, plain text.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    This is a collection of several simple functional languages all based on combinator graph reduction techniques for interpretation. For now there's only one package here: lazy-l, which is an interpreter for Alonzo Church's untyped lambda calculus.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next