8 projects for "reason" with 2 filters applied:

  • Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure Icon
    Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

    Native application identity and user-based security for your Azure cloud

    Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
    Get a free trial
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • 1
    FOML
    ...It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    TimeSformer

    TimeSformer

    The official pytorch implementation of our paper

    ...The model alternates attention along spatial and temporal dimensions (or designs variants like divided attention) so that it can capture both appearance and motion cues in video. Because the attention is global across frames, TimeSformer can reason about dependencies across long time spans, not just local neighborhoods. The official implementation in PyTorch provides configurations, pretrained models, and training scripts that make it straightforward to evaluate or fine-tune on video datasets. TimeSformer was influential in showing that pure transformer architectures—without convolutional backbones—can perform strongly on video classification tasks. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    gmorgan

    gmorgan

    GMorgan_0.79 updated November 21, 2016

    Gmorgan is a midi processor. It can be voiced using Linux synths, midi connected equipment, or a soundcard. It is best to use a velocity sensing midi keyboard so that the first 4 voices can be mixed or layered. Demo at Youtube: http://youtu.be/3uIRq6M1tCs For GNU/Linux users, the latest file is .79. GMorgan .79 runs well on Ubuntu and most Linux/GNU distributions. Although it is included in the tarball, you can download .75 pdf documentation from the files section here. This...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4

    Live Subtitler

    Play subtitles separately recommended for online movies

    This project is a subtitles player, it gives you the ability to load and play subtitles even if the video player does not support it. Live Subtitler is discreet for the reason that the playback window is transparent, moreover is able to search, download and play subtitles in no time. Requires Oracle JAVA 7 or later (JAVA 8 recommended)
    Downloads: 0 This Week
    Last Update:
    See Project
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini 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.
    Try It Free
  • 5
    Open PHIGS

    Open PHIGS

    PHIGS (Programmer's Hierarchical Interactive Graphics System)

    ...Open PHIGS uses OpenGL for rendering graphics rather than implementing it's own abstraction layer to the graphics hardware, or using the PHIGS Extension to X (PEX). The reason for doing so is that today every graphics card manufacturer provides their own OpenGL implementation, which takes full advantage of the accelerated drawing capabilities in the hardware. PHIGS is a higher level API than OpenGL that works with a hierarchical scene graph. Models are built up in a Centralized Structure Store (CSS), a database containing the drawing primitives and their attributes (color, line style, etc.). ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 6
    The Harmony of the World

    The Harmony of the World

    A fair attempt at the Keplerian tradition to explore the solar system

    ...However, when the scientist Kepler discovered special principles about planetary motion, he also reconsidered the music. Apparently his observance of a harmonic law of planetary motion was reason for him to propose a computable system of pitch and harmony deriving from angular velocity. The purpose of the programming project is as a tool to examine his system. With Java 2, it provides an open-source solution for listening to harmonies so generated by planetary motion. This program can run on any computer provided with a Java Virtual Machine (Rev 1.5 or greater). ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 7

    Atari VCS (2600) Graphics Editor

    This code has been moved to GitHub

    ...I have a much better tools and GUI that was never uploaded to SourceForge that I developed before I started down this road. I'm currently trying to track down the code. I recently logged in for a completely different reason only to notice that this software keeps getting downloaded... and there are probably lots of disappointed folks out there once they try to run it. Sorry about that. Anyway, long story short... I'm looking for the real code that's actually usable. Check the Atari Age forums. Once I find it, I'll post a message about it there. ==================================== Old comments ==================================== A cross-platform Java Application for creating, editing, and exporting Sprite and Playfield graphics for the Atari 2600 game console for the purpose of providing the modern Atari 2600 Homebrew community an enhanced graphics editor.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Freeson is a free software synthesizer project. The goal is to create a fully functional alternative to the commersial software Reason.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
Auth0 Logo