Search Results for "logic"
Sort By:
Showing 46 open source projects for "logic"
View related business solutions-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
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. ... -
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.
-
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
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 -
12
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. ... -
13
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.
-
14
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. -
15
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. -
16
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. -
17
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 -
18
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.
-
19
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.
-
20
Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.
-
21
ProgrammingAssignment2
Repository for Programming Assignment 2 for R Programming on Coursera
...It builds on a worked example that caches the mean of a numeric vector, demonstrating how the operator preserves state across function calls. You then implement analogous logic for matrices via two functions, one to construct the cache-aware object and another to compute or retrieve the cached inverse. The instructions emphasize using solve for inversion and assuming that the supplied matrix is always invertible. The repository outlines the workflow for forking, editing the provided R stub, committing your solution, and submitting your repository URL as the final deliverable. -
22
LogicCalculus
A logic IDE for the sentential logic and the predicate logic.
LogicCalculus is a logic IDE for the sentential logic and the predicate logic. Currently it can evaluate expressions and fill a truth table. -
23
Language KISS HTML5
Browser based flash cards
...Main features - learn (cards due to learn), swat (every card) - copy cards - filter - sort - synchronize between devices - share cards with other users (just use all and/or improve and add cards) Programm code and usage follows the KISS principle, see http://en.wikipedia.org/wiki/KISS_principle - basic requirement = browser - OS independent - no installation required - no fancy features - bullet proof synchonization and sharing - deployment is just copying files onto a PHP enabled webserver More - data is on your own server - no central registration or data mining Technical Details - logic in JavaScript (browser) - Share/synch by PHP scripts on webserver (file based) -
24
Myrtle
A simple programmable spreadsheet for learning statistics.
...It provides the standard spreadsheet functionality one would expect like multiple tabbed sheets, relative and absolute row and column referencing in formulas, and a large catalog of built-in functions. Functions specific to logic and computer science, mathematics, probability, and statistics are available. Student's can easily create, customize, and update plots and graphical summaries of their analyses. Myrtle offers a unique bookmarking facility which allows students to create and reuse named references to their favorite cell ranges. This can help students focus attention on the important relationships among particular rows or columns of data. ... -
25
Toves
Draw and simulate logic circuits graphically
Toves provides a graphical interface for designing circuits that are simulated live as you build them. It is currently very feature poor, but it is intended eventually to be Logisim's successor.
