Showing 19 open source projects for "bcftools-windows"

View related business solutions
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Start Free
  • Host LLMs in Production With On-Demand GPUs Icon
    Host LLMs in Production With On-Demand GPUs

    NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

    Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
    Start Free
  • 1
    A quantitative finance C++ library for modeling, pricing, trading, and risk management in real-life. A cross-platform free/open-source tool for derivatives and financial engineering.
    Leader badge
    Downloads: 9 This Week
    Last Update:
    See Project
  • 2
    A scheme (lisp) interpreter written in ARM assembly language (currently: Cortex-M4F,M7, Cortex-A5,A8,A9, Cortex-A53; previously:ARM7TDMI, ARM920T, Cortex-M3) for education, robotics, wearable devices. Tested on Allwinner A64, Amlogic S905, Atmel SAMA5D4, SAME70, SAMV71, NXP LPC4300, RT1050, iMX8M, Samsung S5P6818, ST STM32F4, STM32F7, and TI AM3359, OMAP3530, DM3730, OMAP4430, TM4C1294 chips (previously: NXP LPC-1300,1700,2000, ATMEL AT91SAM7, STM STR711, STR911, STM32, CIRRUS EP9302, LMI...
    Downloads: 1 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: 3 This Week
    Last Update:
    See Project
  • 4

    Cognidrome

    Knowledge-Based Simulation

    Downloads: 0 This Week
    Last Update:
    See Project
  • Demo Series - Small Business Backup By Veeam Icon
    Demo Series - Small Business Backup By Veeam

    Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

    Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
    Watch Demo Series
  • 5
    Flexible constraint-based FIR filter design program.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    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
  • 7
    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
  • 8
    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
  • 9
    This project is for maintaining a linux system that concentrates on math, logic, and geometry related softwares.
    Leader badge
    Downloads: 30 This Week
    Last Update:
    See Project
  • Paessler: Easy to Use With Enterprise Power. Free Trial Icon
    Paessler: Easy to Use With Enterprise Power. Free Trial

    A low-code dashboard makes monitoring intuitive for any admin, while scripting and custom sensors give experts full control.

    You shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
    Get Free Download
  • 10
    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
  • 11
    SAT Solver in plain C99 and the Scheme programming language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Moved to GitHub in 2013. This SourceForge project is no longer updated. Source code and documentation: stokes: https://github.com/kichiki/stokes libstokes: https://github.com/kichiki/libstokes libiter: https://github.com/kichiki/libiter twobody: https://github.com/kichiki/twobody RYUON User's Manual: https://github.com/kichiki/RYUON-manual RYUON : many-particle simulation suite
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    MLP(Multilayer Perceptron) training library written in LISP like language called Scheme. Can work with any type of MLP.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Formicidae is the official simulator and visualizer for the Ant-Wars competitive programming site, written in Java and SISC. The site is hosted at www.ant-wars.net.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    GNU TeXmacs
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16
    Open source software and documentation for Geotechnical Engineers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    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
  • 18
    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: 2 This Week
    Last Update:
    See Project
  • 19
    A simple, small proof checker that will accept a minimalist Lisp-ish syntax.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next