Search Results for "logic"
Sort By:
Showing 21 open source projects for "logic"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
Fully Homomorphic Encryption
An FHE compiler for C++
...At its core is a “transpiler” that converts ordinary functions (typically written in a restricted subset of C++ or similar) into FHE circuits, plus backends that execute those circuits with different FHE libraries. The workflow usually mirrors normal software development: write and test a cleartext implementation, run a simulator to validate logic and performance characteristics, then compile to an encrypted form to run with real FHE parameters. The project includes benchmarking harnesses, examples, and tutorials that demystify parameter selection, gate costs, and latency/throughput trade-offs. Multiple runtimes and backends are supported so teams can choose Boolean or integer schemes depending on accuracy and speed needs. -
2
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques. -
3
GNU Prolog
The GNU Prolog native compiler
GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver. -
4
FMOCPP
Eclipse C/C++ MinGW MSYS2
The project aims to simplify the combined use of Eclipse, MinGW, and MSYS2 by providing a more accessible solution for preparing the development environment, compiling source code, and running C/C++ applications. In this way, students can focus on learning the fundamentals of programming, computational logic, and software solution development, while reducing the initial technical difficulties related to system paths, compilers, terminals, and dependencies. -
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
5
Vanga
Structure-routed visual compiler: recognize and automate GUIs in YAML
...You describe the interface in plain YAML: tokens are pictures matched under a discipline, lexemes their spatial arrangements, with OCR for the content that changes. On a match it drives the GUI (click, type, route text); the logic turns a recognized screen into what to do — a watched value with prose rules, or a neighbourhood rule table over a tiled grid. The shipped examples are pure grammar, no Java: a calculator automator and a Minesweeper solver. Java 21, MIT-licensed. See VANGA_DESIGN.md. -
6
Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!
-
7
GHCJS
Haskell to JavaScript compiler, based on GHC
GHCJS is a Haskell-to-JavaScript compiler that reuses GHC’s front end to compile Haskell source into JavaScript for execution in browsers and Node.js. It aims to preserve Haskell’s semantics—including laziness and rich types—by shipping a small runtime and shims for core libraries. Developers write normal Haskell, use Cabal/Stack to build, then bundle the generated JavaScript alongside required support code. Interoperability with the JavaScript world is provided through a foreign-function... -
8
...The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason about a model and its data (instance model, i.e., diagram) FOML is built as a semantic layer on top of PathLP - a compact logic rule language of guarded path expressions, an adaptation of a subset of F-logic.
-
9
Asterius
A Haskell to WebAssembly compiler
...The toolchain provides commands to build and link (ahc/ahc-link), bundle assets, and target both browser and Node environments. Interop is a core focus: Haskell functions can call into JavaScript and vice versa, making it feasible to combine Haskell logic with web APIs. Asterius aims to keep as much of Haskell’s runtime model as practical while delivering the portability and startup characteristics of Wasm. By bridging GHC and WebAssembly, it opens a path to reuse Haskell libraries on the client side without switching languages. -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
10
Filtrex
A simple, safe, JavaScript Filter Expression compiler for end-users
Filtrex is a simple and safe JavaScript expression compiler designed for end-user input. It lets users write spreadsheet-like filter expressions without giving them access to raw JavaScript execution. Instead of using eval, Filtrex compiles expressions into JavaScript functions while keeping data access and callable functions under developer control. It supports common use cases such as filtering items, searching across fields, colorizing records, plotting charts, and building browser-based... -
11
PHDL
An HDL alternative to PCB graphical schematic capture tools.
...We have created an eclipse plugin version of the tool as well as a standalone command-line based version. Both function identically and output a netlist that can be imported into a pcb layout tool. VHDL revolutionized how FPGA designs and digital logic circuits have been designed and captured and overcame many of the difficulties associated with the use of schematic editing tools. We believe the use of an HDL is also the way of the future when it comes to PCB design. The PHDL compiler automatically supports the output of PADS and Eagle netlists, and through extending a simple java class, users can generate a netlist in practically any format required by their choice of a layout tool. -
12
Xross Tab / QScript
Market Research Data Processing Suite
XTCC/Qscript revolves around two concepts: 1) Data collection : Qscript 2) Data analysis : XTCC Qscript enables Market Research companies to securely collect data using online and offline mediums such as web, tablets/mobile. Different products include: 1) Pen and Paper Survey Management Qscript enables faster and easier keyboard entry with real time logic and validation. It generates SPSS and IBM Quantum compatible data tabulation programs leading to significant time savings of up to 80%. This is already being used by various companies in Market Research industry. 2) Tablet/Web enabled Survey Management Companies can launch the same survey, online and over Tablet/mobile. This product is in prototype phase. 3) XTCC, a web based cross tabulation tool that enables companies to carry out real-time analysis. ... -
13
This is an aplication to learn programming. Logic schemes are used in the first year of programming in schools, but are done just on paper. Now you can verify them for errors, and also can execute the code so you see exactly what you do.
-
14
-
15
...It provides optimized emulation for newer SSE instructions. It also provides a rich set of high performance routines for common operations such as arithmetic, bitwise logic, and data packing and unpacking.
-
16
Hipo is a hypothetical computer to facilitate the learning of machine language. The student can use hipo to develop simple programs and understand the internal logic of a computer. There is a plan to implement Donald Knuth's MMIX machine language, also.
-
17
Jeeg is a dialect of Java based on a declarative synchronization mechanisms.Synchronization constraints in Jeeg are expressed in a linear temporal logic. Jeeg is inspired by the current trend in aspect oriented languages.
-
18
A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programming language, Go! - a logic programming language and DialoX - an XML-based user interface engine
-
19
Mercury is a modern logic/functional programming language. The Mercury system includes a compiler, debugger, libraries, sample code, profilers, etc. Mercury is designed to be the successor of logic programming languages such as Prolog.
-
20
Our goal was to develop a very simple programming language for expressing state machines. You can express the logic of a fairly complex, real life state machine in a single page of text that is easy to understand. Creates Java (C++ may be next).
-
21
Quint
Quint, an executable specification language for reliable systems
Quint is an executable specification language with delightful tooling, designed for distributed systems and based on the temporal logic of actions (TLA). Write specifications you can run, simulate, and verify, so subtle bugs get caught before reaching production. Quint is open source (Apache 2.0) and developed by Informal Systems. Source code and documentation live on GitHub and quint.sh.
- Previous
- You're on page 1
- Next
