Showing 22 open source projects for "research"

View related business solutions
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • Train ML Models With SQL You Already Know Icon
    Train ML Models With SQL You Already Know

    BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

    Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
    Try Free
  • 1
    Gwave is a waveform viewer for the output of analog electronic circuit simulators such as spice. It displays the data as 2-D plots, and allows for interactive scrolling, zooming, and measuring of the waveforms.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    Merupu

    Merupu

    Electromagnetic Analysis Software

    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    MScheme

    Scheme Interpreter implemented in Java

    MScheme is a Scheme interpreter implemented in Java. The project goals are to fully comply with the "Revised^5 Report on Scheme" and a clean and modular design.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    The interactive mathematical programming system GYWOPT is released as free software. It has been developed since early 2000 for experiments with the Integral Basis Method for integer programming by U.-U. Haus, M. Köppe and R. Weismantel.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Error to trace to log to deploy. One click. No SSH. Icon
    Error to trace to log to deploy. One click. No SSH.

    Catch the cause before the pager goes off.

    AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
    Free 30 days.
  • 5
    Burrow-owl is a software package for visualizing multidimensional nuclear magnetic resonance (NMR) spectra, with an emphasis on spectra used in macromolecular structure determination.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    The goal of this project is to provide a platform for simulating biological aging and evolution of the population. The simulation is done using Penna bit-string model. Its based on the mutation accumulation theory.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    guileplayer is a Scheme binding for libplayerc - the Player client library, part of Player/Stage project. It can be used with guile (GNU Scheme interpreter) version 1.6 or later.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair scheduling, lexically-scoped logical variables, set-theoretical semantics, high performance without cuts
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    Java based multi-agent platform built on an organizational model (agent, group, role). MadKit provides general agent facilities (lifecycle management, message passing, distribution, ...), and allows high heterogeneity in agents.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Try it free
  • 10
    The Scheme Natural Language Toolkit (S-NLTK) is a Scheme R6RS library for language and text processing, and various tasks related to symbolic and statistical analysis of language data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    This project is for maintaining a linux system that concentrates on math, logic, and geometry related softwares.
    Downloads: 46 This Week
    Last Update:
    See Project
  • 12
    The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    SAT Solver in plain C99 and the Scheme programming language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    RYUON : many-particle simulation suite
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    A framework for generation of real-time numerical simulations of dynamical systems from differential and difference equations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    GNU TeXmacs
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Open source software and documentation for Geotechnical Engineers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    A Scheme (guile) interface to a local version of the Encyclopedia of integer Sequences with many features for complex queries. URL of the encyclopedia (where the database can be downloaded from) is: www.research.att.com/~njas/sequences/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Algheme is a computer Algebra system written in the Scheme language. This project is actually aimed to symbolic computation using Groebner Bases and related topics; nevertheless, it can eventually evolve in a computational system for Mathematics in g
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    The purpose of the project is to develop a quantitative medical imaging & visualization program for use on brain MR, DTI and MRS data. It is a joint project of the Kennedy Krieger Institute & the Johns Hopkins University, Psychiatric Neuroimaging Lab
    Downloads: 1 This Week
    Last Update:
    See Project
  • 21
    A simple, small proof checker that will accept a minimalist Lisp-ish syntax.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    BigBoy is a three dimensional Finite-Difference Time-Domain (FDTD) simulator for photonics (plasmonics, photonic crystals or high index-contrast structures). Please, refer the successor of this project, GMES (http://sf.net/projects/gmes).
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
Auth0 Logo