Showing 8 open source projects for "logic"

View related business solutions
  • AI-generated apps that pass security review Icon
    AI-generated apps that pass security review

    Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

    Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
    Try Retool free
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • 1
    NSync

    NSync

    nsync is a C library that exports various synchronization primitives

    ...Unlike traditional pthreads-based synchronization, nsync introduces conditional critical sections, allowing developers to wait for arbitrary conditions without explicit signaling or complex loop-based logic. This approach simplifies concurrency management and often improves readability and maintainability of multithreaded code. The library emphasizes efficiency, with locks and condition variables occupying minimal memory and supporting cancellation mechanisms through nsync_note objects rather than thread-level cancellation. Designed with portability and performance in mind, nsync can be compiled on Unix-like systems and Windows using a C90 compiler.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    Apollo-11

    Apollo-11

    Original Apollo 11 Guidance Computer (AGC) source code

    ...The code is both a cultural artifact and a technical reference, illustrating how limited memory and processor constraints shaped algorithms and system design. Developers can examine navigation routines, guidance logic, and task scheduling in an environment with no luxury features—everything is explicit and resource-aware. The repository’s structure and documentation make it approachable for modern readers despite the archaic environment. It’s frequently used in education, talks, and explorations of software history to show how a landmark mission depended on disciplined code and verification.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    GNU Prolog

    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.
    Leader badge
    Downloads: 144 This Week
    Last Update:
    See Project
  • 4

    UniSIMD-assembler

    SIMD macro assembler unified for ARM, MIPS, PPC and x86

    UniSIMD assembler is a high-level C/C++ macro assembler framework unified across ARM, MIPS, POWER and x86 architectures. It establishes a subset of both BASE and SIMD instruction sets with clearly defined common API, so that application logic can be written and maintained in one place without code replication. The assembler itself isn't a separate tool, but rather a collection of C/C++ header files, which applications need to include directly in order to use. At present, Intel SSE/SSE2/SSE4 and AVX/AVX2/AVX-512 (32/64-bit x86 ISAs), ARMv7 NEON/NEONv2, ARMv8 AArch32 and AArch64 NEON, SVE (32/64-bit ARM ISAs), MIPS 32/64-bit r5/r6 MSA and POWER 32/64-bit VMX/VSX (little/big-endian ISAs) are mostly implemented (/w horizontal reductions) although scalar improvements, wider SIMD vectors with zeroing/merging predicates in 3/4-operand instructions are planned as extensions to current 2/3-operand SPMD-driven vertical SIMD ISA. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 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
  • 5
    Partition Logic

    Partition Logic

    Disk partitioning and data management for x86-compatible systems

    Based on the Visopsys operating system, Partition Logic is a bootable disk image featuring a disk manager program that can create, delete, erase, format, defragment, resize, copy, and move partitions and modify their attributes. It can copy entire hard disks from one to another. Other tools, such as system diagnostics, are also available within the system.
    Leader badge
    Downloads: 25 This Week
    Last Update:
    See Project
  • 6
    PinPog

    PinPog

    Ping-Pong-like game in Assembly that works without OS

    pinpog is a simple, open-source ping pong game implemented in C using SDL2. Created by Tsoding, it serves as both a nostalgic recreation of the classic arcade game and a fun educational project demonstrating game development fundamentals such as collision detection, input handling, and frame-based rendering. It’s small in scope but clear in design, making it ideal for those learning C or exploring real-time interactive programming through games.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    cMIPS

    cMIPS

    cMIPS - an FPGA ready VHDL model for 5-stage pipeline, MIPS32r2 core

    ...The TLB and assorted control registers will be included soon (as of fev 2015). The model was synthesized for an Altera EP4CE30F23. The model uses up 15% of combinational blocks and 5% logic registers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    Algorith

    Math Games Logic Algorithms

    This page is a space dedicated to publishing and sharing algorithms. It has four theme pages where you can find mathematical algorithms, games, software and more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB