Search Results for "logic"
Sort By:
Showing 81 open source projects for "logic"
View related business solutions-
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
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
Software Design in Haskell
Software Design in Haskell
This repository accompanies a comprehensive guide to building large, maintainable Haskell systems, focusing on architecture, modularity, and practical design techniques. It presents patterns for separating pure domain logic from side effects, organizing code into layers and components that can be tested in isolation. Readers encounter multiple styles—MTL/typeclass constraints, tagless-final encodings, free and freer monads, ReaderT-style application environments—and learn when to apply each. The examples emphasize explicit boundaries for infrastructure concerns such as persistence, logging, configuration, and external services to keep business logic clean. ... -
2
Qualify
Claude code to help you do lead research and qualification
...Because it prioritizes lean data structures and predictable code paths, developers can customize pipelines, fields, and behaviors to align with their unique business logic. -
3
Python Core 50 Courses
Structured learning path that organizes Python fundamentals
...Later sections typically touch on practical topics such as file I/O, error handling, regular expressions, and simple networking, giving learners a toolbox for everyday scripts and utilities. The material aims to be beginner-friendly while still building habits that matter in real projects, like writing readable functions and testing logic. By the end, students should feel confident writing small to medium programs and be ready to explore web, data, or automation tracks. -
4
Archbase
Open source version of "Fundamentals of Computer Architecture"
...It might include sample modules or example features to demonstrate how to build on the base architecture, showing how to extend, override, or integrate components in a consistent manner. Developers can clone or fork archbase as a starting point so they don’t need to structure everything from scratch, helping them focus on business logic. -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
aguacate
With aguacate you get a better taste
Aguacate is a framework with focus on implement business logic functionality, using configuration files (json) instead of programming. See the wiki and the videos See https://github.com/mcnew/aguacate-swagger-demo for a functional demo using docker-compose Videos in Spanish: https://www.youtube.com/playlist?list=PLSHQIkodyHroW2XF7BWCrymDv_Nlj7HRS -
6
Quiz/Survey/Test - QST
A Free, complete, enterprise grade, open source exam management system
QST, the worlds unparalleled open source online/lan assessment software. From a quick quiz on your phone to very large scale, high stakes, proctored desktop testing, we make it easy/secure/economical. Our intuitive design contains features (Immediate detailed results, Create/Export/Import/Convert Questions, WYSIWYG/Math-Chemistry/Basic Editors, Question/Item Bank, Multiple Question Types, Multiple Delivery Styles, Multiple Delivery/Results Options, Adaptive/Branching Questions, Randomly... -
7
Digital Logic Design
Digital Circuits Design and Simulation
DLD V 2.0 Released Digital Logic Design is a Software tool for designing and simulating digital circuits. It provides digital parts ranging from simple gates to Arithmetic Logic Unit. You may start your circuit from simple gates and flipflops and keep on converting them into ICs. These ICs, later on, may be incorporated into other circuits to built more complex circuits like CPU. -
8
UMHDL
Integrated Development Environment (IDE) for learning HDL
UMHDL is an educational Integrated Development Environment (IDE) intended for learning digital designing with programmable logic devices using Hardware Description Languages (HDL) through simulation. It is an open-source application created at the Miguel Hernández University (UMH). The aim for the UMHDL development was to have a graphical application that allows learning the VHDL language without licensing restrictions (using some existing open-source tools) and requiring few resources. ... -
9
ixy-languages
A high-speed network driver written in C, Rust, C++, Go, C#, Java
ixy-languages is a repository exploring the implementation of the ixy network driver (originally written in C) in multiple programming languages, showing how the same core logic can be expressed across language boundaries. The ixy driver is a minimal DPDK-based user-space NIC driver intended for education, demonstration, and controlled experimentation. This project reimplements the ixy driver architecture in Rust, Go, C++, Zig, and possibly other languages, maintaining the same driver semantics and API so users can compare performance, expressivity, safety, and expressiveness trade-offs. ... -
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
10
build-web-application-with-golang
A golang ebook intro how to build a web with golang
This repository is an e-book and tutorial code base that demonstrates how to build a web application in Go (Golang). It provides step-by-step guidance, sample code, explanations, and best practices around routing, handlers, templates, sessions, form handling, file upload, JSON APIs, authentication, and more, intended for learners of Go web development. Code examples for routing, handlers, and HTTP request/response handling. REST API endpoints and JSON marshalling/unmarshalling. File uploads... -
11
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. -
12
mXparser - Math Parser Java C# Library
A flexible mathematical expressions parser for JAVA, Android, C# .NET
mXparser is highly flexible parser of math expressions. Software provides easy to use API for JAVA, Android, C# .NET/MONO (CLS). Main functionalities: - basic operators, i.e.: +, -, *, ^, ! - Boolean logic operators i.e.: or, and, xor - binary relations i.e.: =, <, > - math functions (large library of 1-arg, 2-arg, 3-arg - - functions) i.e.: sin, cos, Stirling numbers, log, inverse functions - constants (large library), i.e.: pi, e, golden ratio - n-args functions i.e.: greatest common divisor - iterated summation and product operators - differentiation and integration High flexibility: - user defined constants and arguments, both free - and dependent on other arguments + possibility of use in functions - user defined functions (both free and depended) - user defined recursive arguments + simple (controlled) recursion (1 recursive argument) - user defined recursive functions / expressions (any) - complex, many arguments, no limitation - internal syntax checkin -
13
LeetCode Animation
Demonstrate all the questions on LeetCode in the form of animation
...Each animation corresponds to a specific problem and illustrates how data structures and algorithms operate dynamically, making it easier to grasp their underlying logic. The project also includes a curated set of 40 problems from the “Sword Pointing to Offer” series—commonly asked in technical interviews—accompanied by detailed analyses and visual breakdowns. These materials are designed for both beginners starting their algorithm journey and experienced developers seeking to reinforce their understanding. ... -
14
Nesta área você encontra os códigos dos algoritmos dos exemplos de aprendizagem tratados no livro "Algoritmos: Lógica para desenvolvimento de programação de computadores" codificados nos interpretadores algorítmicos VisuAlg, ILA+, G-Portugol, Portugol Online, Portugol Studio e Portugol IDE. In this area you will find the codes of the algorithms of the learning examples dealt with in the book "Algorithms: Logic for computer programming development" coded in the VisuAlg, ILA+, G-Portugol, Portugol Online, Portugol Studio and Portugol IDE algorithmic interpreters.
-
15
Practice Python
Part of my daily plan for studying Python
...Exercises commonly target strings, lists, dictionaries, control flow, functions, classes, and common algorithms, reinforcing idiomatic Python patterns. Many problems are intentionally minimal in boilerplate so you can concentrate on logic and clarity. The collection is well suited to daily practice sessions or warm-ups before tackling more complex projects. It is also friendly for learners returning to Python after time away, helping reacquire muscle memory through repetition. -
16
eGERLYVER x64 - Cornish Dictionary
NEW AND UPDATED - check out e.GERLYVER x32 and e.GERLYVER FOR THE MAC
A Cornish - English Dictionary with more than 13,500 records. Search, Add, Edit and Customise to your own orthography. The included word list i n the SWF is offered as a 'base' for you to expand, edit and develop to preferred spelling system. User name is 'Admin' and no password required. Tested and virus free! Please ignore the Windows caution and install anyway. This is FREE software and it is very expensive to register the program. -
17
-
18
ObjectVolume
Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh
...Tetrahedrons with back facing triangles are added and those with forward facing triangles are subtracted yielding the object volume. A detailed description of the process is presented in the ObjectVolumeTutorial.doc document as well as program logic and results. A key component in the program is a subroutine that calculates the volume of a tetrahedron. Four sets of equations were tested and to my surprise all four produced similar results in accuracy and timing. -
19
Syllog
Syllog is a system for teaching logic, with anonymous answer logging
Syllog is a system for teaching various forms of logic, including syllogistic logic. It consists of a student-facing Java Applet that runs in the student's browser, and a teacher-facing, server-based logging facility for recording the answers given by students. The student-facing part simply poses questions, to which the student must provide an answer. The teacher-oriented logging facility then logs the answers anonymously for further investigation by the teacher. -
20
Digital Logic Simulator (DiLoSim)
Allows you to build your own circuits and test them
... - This software requires Java 8 or above to work. Tested with OpenJDK & Oracle Java. For more information check out the project's source code at https://github.com/Crusader99/digital-logic-simulator -
21
ADiKtEd (Another Dungeon Keeper map Editor) is a text-based map editor for Dungeon Keeper, a game released in 1997. It can be used to create a map from the very beginnings, or to tweak maps created in Official Editor.
-
22
Logic Circuit Diagram
Build now your diagram logic circuit
A full-client web application, practical and useful developer diagrams for the construction of the logic of a circuit, with circuit simulator, AC, DC and Transient Analysis, for your Computer Desktop. You can to export yours diagrams in pdf, png, jpg, gif and tiff. ========== Support Windows 7 and later with ia-32 or arch x64 ========== Android app: https://play.google.com/store/apps/details?id=com.ulm.droidtronics Chrome extension: http://bit.ly/29Tdvz7 Opera add-on: http://bit.ly/1igCRWQ -
23
Logicheck
An interactive tool to test logical structures and expressions
This program is intended to be useful for testing Boolean logic or propositional logic. It sets out logical expressions with symbols such as "AND" and "OR" in a graphical user interface. A truth table can then be generated for any such set of expressions. It can also be used to test the validity of deductive arguments - the program will advise whether an argument is valid and if not, list the counter examples to the argument. -
24
Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.
-
25
Johnny Simulator
Johnny - A Simulator of a Simple von-Neumann Computer
...Its principal application is education; therefore a number of simplifications are made: rather reduced instruction sets, simplified bus operations, etc. It visualizes the function of Memory, Arithmetic Logic Unit and Control Unit. Machine Programs can be created and edited using a comfortable GUI and run on the virtual machine step by step. Micro Code, too, is editable: Instructions can be added and modified using the GUI.
