Search Results for "linux-abi"
Sort By:
Showing 12 open source projects for "linux-abi"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch 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.
-
1
genppi
GENPPI: standalone software for creating protein interaction networks
Our software GENPPI is efficient because, for example, it creates interaction networks from the central genome of 50 species/lineages of Corynebacterium, with an average size of 2200 genes, in less than 40 minutes, on a conventional computer. Our software is compelling because the interaction networks that it creates reflect evolutionary relationships between species and obtained in Average Nucleotide Identity (ANI) analyzes. Also, It allows the user to define how he intends to explore the... -
2
Axiom is a computer algebra system. It consists of an interpreter, a compiler and a library of algorithms. Axiom is an excellent research platform as well as a useful tool for scientific programming.
-
3
Common Lisp Wrapper for Proj
CFFI glue code to use Proj.4 library in Lisp
CFFI glue and bindings for the Proj.4 library to provide a wealth of geographical projections in Common Lisp environment. PROJ.4 is a Cartographic Projections library originally written by Gerald Evenden then of the USGS. CL-PROJ provides complete bindings for this library. -
4
An implementation of the Joint Generation Algorithm of Fredman and Khachiyan for the computation of a dual pair of monotone boolean formulas in DNF (hypergraph transversals, extreme rays of polyhedral cones...). User-replaceable oracle.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain 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.
-
5
OpenAxiom: Scientific Computation System
A system for computer algebra and symbolic mathematics
OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences. -
6
This is a parser in Java for Lisp S-expressions. An S-expression or sexp (for symbolic expression) is a convention for representing data using parentheses.
-
7
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.
-
8
cl-gtk-cv
functions for working with geographical data in lisp
Uses opencv to create a zoom-able map, upon which you can place vectorized objects. The idea is to have these objects available in the map, in a list-view and on the REPL. Not complete. No documentation. -
9
The TUM personal robotics package is a collection of libraries that aims to offer methods for personal robotic assistants to operate successfully in indoor environments.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
10
Collection of tools for allowing CAD (Computer Aided Design) systems to interact with STEP (ISO 10303) data.
-
11
OKlibrary
Research platform for SAT and other hard problems
The OKlibrary is a research platform for generalised SAT solving. It provides tools to tackle "intractable problems" at the Maxima computer-algebra level and at the C++ level. It also automatically installs a wide range of external software. -
12
‘intelliworm’ is a prototype simulation of a Intelligent Species of a common earth worm,which inherits human like decision making capabilities through Neural Network intelligence representation,all developed by integrating .NET with Lisp and Yacc.
- Previous
- You're on page 1
- Next
