9 projects for "se-jcr-0.9.pom" with 1 filter applied:

  • The most advanced C and C++ source code analyzer Icon
    The most advanced C and C++ source code analyzer

    Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.

    TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
    Learn More
  • The top-rated AI recruiting platform for faster, smarter hiring. Icon
    The top-rated AI recruiting platform for faster, smarter hiring.

    Humanly is an AI recruiting platform that automates candidate conversations, screening, and scheduling.

    Humanly is an AI-first recruiting platform that helps talent teams hire in days, not months—without adding headcount. Our intuitive CRM pairs with powerful agentic AI to engage and screen every candidate instantly, surfacing top talent fast. Built on insights from over 4 million candidate interactions, Humanly delivers speed, structure, and consistency at scale—engaging 100% of interested candidates and driving pipeline growth through targeted outreach and smart re-engagement. We integrate seamlessly with all major ATSs to reduce manual work, improve data flow, and enhance recruiter efficiency and candidate experience. Independent audits ensure our AI remains fair and bias-free, so you can hire confidently.
    Learn More
  • 1

    libnexstar

    C API to control NexStar compatible telescopes

    This library implements the serial commands supported by the Celestron NexStar hand control (HC) and SkyWatcher/Orion SynScan HC. This applies to the Celestron: NexStar GPS, NexStar GPS-SA, NexStar iSeries, NexStar SE Series, NexStar GT, CPC, SLT, Advanced-VX, Advanced-GT, CGE, CGEM etc. SkyWatcher: EQ5, HEQ5, EQ6 (Pro), AZ-EQ5 GT, AZ-EQ6 GT, EQ8 etc. and the corresponding Orion mounts. Communication to the hand control is 9600 bits/sec, no parity and one stop bit via the RS-232 port on the base of the hand control. Communication can be established over TCP/IP if nexbridge is running on the computer connected to the telescope. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 2

    kmatrice

    kmatrice es un programa de Algebra Lineal

    kmatrice es un programa dirigido a los interesados en el Algebra Lineal y las matemáticas en general, sera de gran ayuda en la comprensión y el desarrollo de las operaciones que pueden ser realizadas con los renglones y las columnas de una matriz.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    DaVinci Concurrente

    DaVinci Concurrente

    Enseñanza programación estructurada concurrente español inicial

    DaVinci Concurrente es un lenguaje orientado a la enseñanza de la programación estructurada para fortalecer los cimientos base de su aprendizaje, tanto en la etapa inicial de la programación secuencial como en la introducción a los conceptos básicos de la programación concurrente. Permite la visualización de la ejecución a través de una ciudad en la cual se puede controlar uno o más robots. Cada robot puede realizar diferentes acciones (por ejemplo tomar flores en la intersección que se encuentra).
    Downloads: 44 This Week
    Last Update:
    See Project
  • 4
    Las Crónicas del Quinto Elemento (Dev)
    La historia de como un joven es transportado a otro mundo y debe enfrentarse a los peligros que en el se encontrará a manos de un hechicero que ansia el control de todos los reinos.Leon acompañado de Blue y sus otras compañeras emprenderá un viaje que jamás hubiera imaginado.Una trepidante aventura cargada de emoción, intriga y romanticismo.El primer título de la saga de las crónicas del Quinto Elemento.La primera obra de Eduardo Bó Rabadán.Un juego que te atrapará.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Optimize every aspect of hiring with Greenhouse Recruiting Icon
    Optimize every aspect of hiring with Greenhouse Recruiting

    Hire for what’s next.

    What’s next for many of us is changing. Your company’s ability to hire great talent is as important as ever – so you’ll be ready for whatever’s ahead. Whether you need to scale your team quickly or improve your hiring process, Greenhouse gives you the right technology, know-how and support to take on what’s next.
    Learn More
  • 5
    NiiCMS

    NiiCMS

    NiiCMS permette di creare siti in maniera semplice e veloce

    NiiCMS permette la creazione di siti sia per persone che non hanno la minima conoscenza di nessun linguaggio sia per veri e propri webmaster che intendono personalizzarlo fino al midollo, NiiCMS è multilingua, usa il mod_rewrite per una migliore indicizzazione del sito e regge i template in Ajax, come ogni CMS permette di dare privileggi agli utenti in modo da suddividere i compiti, ha esenzialmente due parti, una parte amministrativa da dove si possono configurare e installare degli...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    mvc framework 4j

    Framework mvc

    Framework mvc llamada 4j, es un mini frame, para crear aplicaciones en mvc rápido y adaptable a cualquier proyecto, no limita el uso de sus propias librerías, anímense y ayuden a mejorarla, se pide y agradece sus testes y publicar algún bug de seguridad. Demo:http://vasquezader.16mb.com/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    VideoTk

    Sencillo administrador de base de datos de películas

    VideoTk está apuntado a simplificar el mantenimiento de una videoteca en la vida real (formada por cualesquiera medios de almacenamiento, por ejemplo discos DVD). Es un programa muy ligero, de poco tamaño en Mb (menos de 9Mb para el archivo comprimido que contiene dos versiones), lo que permite que se ejecute rápidamente incluso en computadoras viejas o de poca potencia. Las tareas básicas que permite realizar son: Buscar película en función de su título, genero, año, actor/es, calificación, entre otros; Ver detalles completos de cada película, por ejemplo descripción(sinopsis), idiomas de audio, idiomas de subtitulo, entre otros; Añadir, editar y borrar películas junto con sus correspondientes datos.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    WebAPP: Web Automated Perl Portal is easily installed on virtually any UNIX-based server which is provided by all modern hosting plans. WebAPP is the most fully-featured, versatile, free and open-source, flat-file Perl portal script available today! ----
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    mAdchAt Encore une autre adaptation de slashdot.org autour du theme des ezines underground et de la diffusion des infos du meme theme. Le projet est orienté utilisateurs (en grand nombre) et se veut portable dans le but d'universaliser (ou de s'adapter
    Downloads: 1 This Week
    Last Update:
    See Project
  • Accounting Software Built for Owners, and Their Clients Icon
    Accounting Software Built for Owners, and Their Clients

    Make invoicing and billing painless for your small business with FreshBooks.

    Balancing your books, client relationships, and business isn’t easy. FreshBooks gives you the info and time you need to focus on your big picture—your business, team, and clients.
    Learn More
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB