Showing 1285 open source projects for "antix-linux"

View related business solutions
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • 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.
    Start Free
  • 1
    Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    libgcs is a light-wight C/C++ programming library providing check sum calculations such as CRC.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    An implementation of Bruhn et al.'s fast variational optical flow algorithm using the OpenCV image processing library. The code calculates dense flow fields with a user-specified level of precision.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    STEROBIL
    Sterobil is a project used to build a 3D model from photographic pictures, based on the principle of photogrammetry. This project was developped by ECE students, in collaboration with the C2RMF.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Start Free
  • 5
    This program generates customizable hyper-surfaces (multi-dimensional input and output) and samples data from them to be used further as benchmark for response surface modeling tasks or optimization algorithms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Tpl makes it easy to serialize your C data using just a handful of API functions. The data is stored in its native binary form for maximum efficiency. C, Perl and XML supported. Data is portable across CPU types and OS's from Unix to Mac to Windows.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 7
    The C++ library Geneva allows to run large scale parametric optimization problems. It can run in serial or multi-threaded mode or in a networked environment. The library currently covers Evolutionary Strategies, Genetic Algorithms and mixed scenarios.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    Fast cython implementation of trie data structure for Python. Development is inactive, but moved to: http://github.com/martinkozak/cytrie.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    libconhash is a consistent hashing libraray, which can be compiled both on Windows and Linux platform. High performance, easy to use, and easy to scale according to node's processing capacity.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 10
    A cross-platform library that computes fast and accurate SIFT image features. libsiftfast provides Octave/Matlab scripts, a command line interface, and a python interface (siftfastpy). Optimized with SIMD instructions and OpenMP .
    Downloads: 2 This Week
    Last Update:
    See Project
  • 11
    lrkpg
    LR(k) parser generator (k>=0) implementation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    EasyGenetic is a highly efficient C++ framework for genetic master-slave algorithms. It heavily makes use of template metaprogramming to provide a fully customizable environment that accommodates most of user's needs without sacrificing efficiency.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    ADTL is an Advanced Data structures Template Library written in C++. it includs sixteen kinds of stl-like contains, such as fibonacci heap,pariring heap,skew heap,avl tree,red-black tree,splay tree,skip list, unrolled linked list and so on.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    LAITOR is a text mining software developed to find co-occurrence of biological entities (gene/protein terms) together with biointeractions and concepts term from customized dictionaries.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Multiclass machine learning
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    The package edmonds-alg contains a C++-implementation of Edmonds's optimum branching algorithm as described by Tarjan in 1977.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Implementation of Multikey Quickselect and new Multikey Quicksort variants in Frias L, Roura, S. Multikey Quickselect. Technical report LSI-09-27-R, Universitat Politècnica de Catalunya, 2009. http://www.lsi.upc.edu/dept/techreps/techreps.html.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    This is the extended euclidean algorithm implemented in haskell. It will put every single step of the algorithm in a file and show the actual result and everything in between.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    barde
    A log player for "The Fourth Coming" ("T4C", http://www.the4thcoming.com). Given a log-file, this tool will replay a T4C game you've played before. It will have built-in functionnalities like : merging log files together, searching and cleaning
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Some utility function and/or class to convert date from Gregorian calendar to Jalali (Hejri Shamsi) calendar in PHP, Delphi (and some other in future) with very fast algorithm.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    PK7
    Utility to validate, extract, show and create digital documents included in files with "pk7" and "fp7" extensions such as electronic bills provided by some phone companies in Spain like Movistar and Telefonica.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 22
    Implementation of cache conscious STL lists in Frias, L., Petit, J., and Roura, S. 2009. Lists revisited: Cache-conscious STL lists. J. Exp. Algorithmics 14 (Dec. 2009), 3.5-3.27. DOI= http://doi.acm.org/10.1145/1498698.1564505
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    An implementation of LAYAGEN G(Diego-Mas 2010) for solves the layout planning problem using a simple genetic algorithm, and fully written in GAMBAS
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    nfa2dfa
    A simple component usable for converting a non-deterministic finite automaton to a deterministic finite automaton.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    kuhn_munkres
    Kuhn-Munkres is used inside assignment problem solver application. Instance generator application creates input file for the solver. Checker application verifies the solution computed by the solver. A bash script compiles, executes these apps.
    Downloads: 0 This Week
    Last Update:
    See Project