Search Results for "logic"
Sort By:
Showing 14 open source projects for "logic"
View related business solutions-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
1
Starlark in Go
Starlark in Go: the Starlark configuration language, implemented in Go
...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. The Go-based interpreter allows developers to run or embed Starlark programs directly within Go applications, extending them with user-defined scripts and configurable logic. Unlike Python, Starlark supports parallel execution across multiple threads and maintains deterministic behavior, making it suitable for scalable and reproducible workloads. ... -
2
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. -
3
Yampa
Functional Reactive Programming domain-specific language
...Based on the concept of signal functions, Yampa offers a declarative way to model time-varying values and their transformations, making it easier to manage complex time-based logic without resorting to imperative state management. It is grounded in strong mathematical foundations and is well-suited for real-time and interactive systems where temporal behaviors are central. -
4
Wasp
A programming language that understands what a web app is
...Concepts such as app, page, user, login, frontend, production, etc. are baked into the language, bringing a new level of expressiveness and allowing you to get more work done with fewer lines of code. While describing high-level features with Wasp, you still write the rest of your logic in your favorite technologies (currently React, NodeJS, Prisma). Wasp is in alpha and is therefore likely to change a lot, have bugs and miss important features. Due to its expressiveness, you can create and deploy a production-ready web app from scratch with very few lines of concise, consistent, declarative code. When you need more control than Wasp offers, you can write code in existing technologies such as js/html/css/... and combine it with Wasp code! -
Our Free Plans just got better! | Auth0You 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.
-
5
Pkl
A configuration as code language with rich validation and tooling
pkl is a purpose-built configuration-as-code language developed by Apple that combines declarative structure, validation, and tooling to improve over traditional configuration formats like JSON, YAML, or Plists. Its goal is to let you write configuration logic (modules, imports, conditions, defaults) while still producing static outputs suitable for tools that expect JSON, YAML, or other formats. Configurations in Pkl are type-safe and support validation constraints (e.g. bounds, relations) so many errors can be caught before deployment. The language is embeddable, meaning it can run inside applications (Java, Swift, Go, etc.) to load configuration dynamically with the same safety guarantees. ... -
6
Autocxx
Tool for safe ergonomic Rust/C++ interop driven from existing C++
...By reducing the amount of boilerplate and manual configuration typically needed for FFI (Foreign Function Interface) bindings, autocxx allows developers to focus on higher-level logic rather than low-level integration details. -
7
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
-
8
OK
Welcome to the future of programming languages
...also treats errors as plain values (strings/arrays) and removes inheritance in favour of what it calls “evolution over composition.” 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. -
9
Inform
The core software distribution for the Inform 7 programming language
...The language is distinctive for its natural-language-inspired syntax that reads almost like English, allowing storytellers to define rooms, objects, characters, and narrative logic in an intuitive way that emphasizes expressive clarity and literary structure. When you write in Inform, the source code is compiled into playable story files that run on interactive fiction virtual machines such as Z-machine or Glulx, enabling classic text-based gameplay with modern tooling. Inform handles the underlying complexities of text parsing, world modeling, state management, and player input, so authors can focus on narrative design rather than low-level engine details. -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
10
Robot KAREL
programming language for children
The robot knows commands step, left, right, pick, put, paint, delay. You can use integer variables, multidimensional arrays, arithmetic and logic operators, procedures and functions with parameters. The application includes a text editor, compiler, interpreter and debugger. -
11
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... -
12
Skylark
Skylark in Go: the Skylark configuration language
...Skylark maintains Python’s familiar syntax and high-level data types while omitting features that could cause nondeterminism, such as concurrency and dynamic module imports. The interpreter supports first-class functions, dictionaries, lists, and comprehensions, allowing developers to define reusable logic and structured configuration data. Originally developed for Bazel, Google’s build tool, Skylark enables users to define build rules and macros that extend system functionality. Because it runs deterministically and isolates execution from system state, it’s well-suited for reproducible build systems and other sandboxed environments. ... -
13
ArnoldC
Arnold Schwarzenegger based programming language
...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. -
14
Qore Programming Language
Multithreaded scripting language
Qore is a scripting language supporting threading and embedded logic, designed for applying a flexible scripting-based approach to enterprise interface development but is also useful as a general purpose language. No more development or releases happen on sourceforge; development has moved to https://github.com/qorelanguage/qore
- Previous
- You're on page 1
- Next
