Search Results for "zlib-ada"
Sort By:
24 projects for "zlib-ada" with 2 filters applied:
-
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.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
1
Mathpaqs
A collection of mathematical packages in pure Ada
Various mathematical packages including algebra, finite elements, random variables, probability dependency models, unlimited integers. Pure Ada, fully portable. More information on... http://mathpaqs.sf.net Alire crate: https://alire.ada.dev/crates/mathpaqs Mirror: https://github.com/zertovitch/mathpaqs -
2
OpenAvionics is a hardware/software projet to design low cost instrumentation (air/attitude, navigation, voice, engine) for light and ultra light aircrafts. The display part of the project may be used in aircraft simulation projects.
-
3
FFTW_Ada
An Ada 2012 binding to the FFTW fast Fourier transform library
FFTW_Ada is an Ada binding to the FFTW (fast Fourier transform) library written at MIT by Matteo Frigo and Steven G. Johnson. FFTW is written in C. FFTW_Ada allows calls to FFTW from an Ada program, thus allowing Ada code to compute fast Fourier and certain other related transforms. FFTW_Ada v2 works with FFTW v3 and requires Ada 2012. -
4
eprb_signal_correlations
Simulation of a two-channel Bell test, with closed-form proofs
Derivation, entirely by probability theory, of the correlation coefficient for a two-channel Bell test, with simulation in Ada and other languages. The Nobel Committe for Physics bans this program for subversive content. (Mirror of the repository at https://github.com/chemoelectric/eprb_signal_correlations) -
$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.
-
5
ZanyBlue: Ada libraries towards a finite element framework
-
6
MSqBAT
Label-free protein quantification for LC-MS
MSqBAT is a freely-available all-platform software application for label-free quantification of proteins from LS-MS data. It was developed in the lab of Dr. Christoph Rösli at the Heidelberg Institude for Stem Cells and Experimental Medicine (HI-STEM) and the German Cancer Research Center (DKFZ). It’s main features are 1) Label-free, MS1-based quantification 2) Support both LC-MALDI-MS- as well as LC-ESI-MS data 3) Supports both GeLC-MALDI-MS- and GeLC-ESI-MS data 4) Convenient,... -
7
ghdl-updates
GHDL - a VHDL simulator
GHDL is the leading open source VHDL simulator. *** Now on github.com/tgingold/ghdl *** We have binary distributions for Debian Linux, Mac OSX and Windows. On other systems, getting GHDL from here means downloading the current source package and building GHDL from source. Alternatively you can get the latest source version (warning : occasionally unstable!) by pulling a snapshot from the git repository. -
8
didgmo is a software for DIDGeridoo sound MOdeling. didgmo is capable of predicting the sound characteristica of a didgeridoo by providing its inner geometry. didgmo uses the method of acoustic transmission line modeling.
-
9
MathJax for SVG
MathJax support for MathML content embedded in SVG documents
MathJax4SVG.js script provides support for MathJax in SVG documents. -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
10
Java Decision Diagram Libraries (BDD)
Java Decision Diagrams (BDD) libraries: JDD and JBDD
This project has been moved to bitbucket.org: - https://bitbucket.org/vahidi/jbdd/wiki/Home - https://bitbucket.org/vahidi/jdd/wiki/Home It includes two libraries for working with decision diagrams: - JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy - JDD: a native Java library supporting BDD, Z-BDD -
11
jWords is a port of WORDS (by William Whitaker, a free latin-to-english dictionary program written in Ada), to Java. Besides the dictionary will be translated to the German language.
-
12
Given low-density genotypes for pedigrees, and dense genotypes for some people in those pedigrees, computes high-density genotypes for some other people in those pedigrees. This reduces genotyping effort.
-
13
OSlash is a c++ framework for developing decentralized cloud computing services. It includes a programming environment and virtual machine for assembling networks of processing nodes coordinate their operations through message passing.
-
14
Artist is a portable 2D graphics library. Main features are: drawing primitives, bitmap blitting, alpha blending, zoom and rotation, text rendering and image file loading. It uses hardware acceleration and provides a simple and elegent API.
-
15
A version of the source I used in these videos on youtube: http://www.youtube.com/watch?v=5k6arok7zac http://www.youtube.com/watch?v=TaNu8-ObsXU and http://www.youtube.com/watch?v=7qAq61ATgqo . It requires Sunflow, JBullet, and Java.
-
16
GLUI is a GLUT-based C++ user interface library which provides controls such as buttons, checkboxes, radio buttons, and spinners to OpenGL applications. It is window-system independent, using GLUT or FreeGLUT.
-
17
ExprEval pre-3.0 is a C based expression evaluation library. ExprEval 3.0 and later is a C++ based expression evaluation library. Features: 1. POEM - Parse once, evaluate many 2. Direct variable access 3. Support for custom functions 4. Seperate func/var
-
18
ScenicSkies is a open source planetarium software under development which in time is going to have photorealistic rendering of the skies both during the day and night.
-
19
The goal of spacesim is simulation of a battles in free space. Unlike other such games, spacesim models management of the ship from the point of view of the captain, instead of the pilot. It allows management of the ship of several players at one time.
-
20
C translation of EGM96 (earth height model) implementation (namely, f477.f) available at http://earth-info.nga.mil/GandG/wgs84/gravitymod/egm96/egm96.html
-
21
UniParser is a parser toolkit for creating grammar parsers of streams (of e.g. Unicode characters) with Ada 95 programming language. (If you will request, I may port it to C++.) Very feature rich, flexible, and extensible; however somehow slow and bloate
-
22
A GPL (with same special exception as the GNAT run-time) package hierarchy for the I/O of Image Data (PPM, TIFF, others...) as well as packages for manipulation of that data. There is no intension of producing packages in the main library for displayi
-
23
BulletD
A port of the Bullet Physics engine to D
-
24
KinectStreamer
Streams data from 3D cameras over a network.
This is an application that streams data from the Microsoft Kinect or cameras like it over a network. The program is Intended to be used in robotics applications where the controller cannot use such cameras directly due to hardware/software limitations--such as lacking usb ports or appropriate drivers--or in situations where the camera is not in close proximity to the device that needs to access it. Given that the controller can accept data from over the network, another embedded controller...
- Previous
- You're on page 1
- Next
