Search Results for "compiler"
Sort By:
Showing 19 open source projects for "compiler"
View related business solutions-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
1
MuJoCo
Multi-Joint dynamics with Contact. A general purpose physics simulator
...The engine provides a robust C API optimized for real-time computation, making it suitable for scientific research and advanced simulation environments. MuJoCo’s core architecture is performance-tuned and utilizes preallocated data structures created through an XML-based compiler. The platform includes built-in interactive visualization using OpenGL and a native graphical interface for analyzing and testing simulations. Additionally, it offers extensive utility functions for physics computation, Python bindings for developers, and a Unity plug-in to enable integration with game engines and visualization tools. -
2
BQSKit
Berkeley Quantum Synthesis Toolkit
The Berkeley Quantum Synthesis Toolkit (BQSKit) [bis • kit] is a powerful and portable quantum compiler framework. It can be used with ease to compile quantum programs to efficient physical circuits for any QPU. A standard workflow utilizing BQSKit consists of loading a program into the framework, modeling the target QPU, compiling the program, and exporting the resulting circuit. -
3
MathCode
A Frontier Mathematical Coding Agent
...It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. MathCode also includes visualization-oriented tooling such as theorem graph generation for Obsidian knowledge workflows. ... -
4
Swift Numerics
Advanced mathematical types and functions for Swift
...The package includes RealModule utilities and a full Complex type with the expected arithmetic and transcendental functions, bridging a long-standing gap for numerics in Swift. API design follows Swift’s emphasis on value semantics and protocol-oriented programming, enabling compiler optimizations and predictable performance. The modules are factored to keep dependencies minimal and to allow adopters to pull in only what they need. As a result, Swift Numerics underpins higher-level libraries in simulation, signal processing, and machine learning written in pure Swift. -
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
PyQuil
A Python library for quantum programming using Quil
PyQuil is a Python library for quantum programming using Quil, the quantum instruction language developed at Rigetti Computing. PyQuil serves three main functions. PyQuil has a ton of other features, which you can learn more about in the docs. However, you can also keep reading below to get started with running your first quantum program. Without installing anything, you can quickly get started with quantum programming by exploring our interactive Jupyter Notebook tutorials and examples. To... -
6
Snap7
32/64 bit multi-platform Ethernet S7 PLC communication suite
Snap7, through three specialized components: Client and the inedited Server and Partner, allows you to definitively integrate your PC based systems into a PLC automation chain. Designed to transfer large amounts of hi-speed data in industrial facilities, it scales easily, down to small Linux Arm boards such as Raspberry PI. Hi level object oriented wrappers are provided, currently C/C++, .NET/Mono, Pascal, LabVIEW, Python with many source code examples. Very easy to use, a full... -
7
PhiPsi
An eXtended Finite Element Method (XFEM) Software.
PhiPsi is a 2D and 3D computational solid mechanics program, which involves the extended finite element method (XFEM), as well as the finite element method (FEM). PhiPsi is written in Fortran and compiled using the GNU Fortran compiler (gfortran). PPView is a visualization tool for PhiPsi. PPView can be used to import Abaqus inp file, view the model defined in the PhiPsi keywords file (*.kpp), edit PhiPsi keywords file, perform a PhiPsi simulation, and view the simulation result files generated by PhiPsi. PPView contains the latest executable program of PhiPsi. ... -
8
CAIRO for AERMOD
AERMOD, visualisation, input, modelling and compiling tool
CAIRO for AERMOD v1.1 by MSc Dominik Subotić Simplified training software Avaliable: www.sourceforge.net/projects/cairo-for-aermod/ QGIS plugin: CAIROforAERMOD (Coming 2025.) Tutorial: https://www.youtube.com/watch?v=DZnsJuu1zLc AERMAP, AERMOD and AERPLOT analysis tool and input file compiler. Features: Automatic input by copying coordinates (Google Maps or text) and automatic conversion to UTM. Sources are automatically visualised in Google Earth. Input is done through user interface and automatically compiled into correct syntax and project/file structure. Windows application, supports up to 3 averaging periods, maxtable, maxifile, rankfile and plotfile. ... -
9
ProjectQ
An open source software framework for quantum computing
...It features a compilation framework capable of targeting various types of hardware, a high-performance quantum computer simulator with emulation capabilities, and various compiler plug-ins. -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
10
GDL - GNU Data Language, a free IDL (Interactive Data Language, see http://ittvis.com/idl/) compatible incremental compiler.
-
11
Distant Speech Recognition
Beamforming and Speech Recognition Toolkit
BTK contains C++ and Python libraries that implement speech processing and microphone array techniques such as speech feature extraction, speech enhancement, speaker tracking, beamforming, dereverberation and echo cancellation algorithms. The Millennium ASR provides C++ and python libraries for automatic speech recognition. The Millennium ASR implements a weighted finite state transducer (WFST) decoder, training and adaptation methods. These toolkits are meant for facilitating research and... -
12
A compiler wrapper and a set of editor plugins allowing you to easily use Greek letters, accents, and other Unicode symbols in any programming language.
-
13
A language and a compiler for the solution of differential equations (ODE). Both lumped and distributed variables (PDE) will be possible. The ability to solve DAEs is a long term goal. The compiler generates a Python program that does the computation.
-
14
The Dragon Fire compiler takes a new, 21st century, look at the Dragon (i.e. Dragon Book). No longer impenetrable to the programmer, this compiler is open and available to them. You control the Dragon, and get Dragon insight into your programs.
-
15
Language, compiler and simulator for CDL cycle description language Platforms: OSX, Linux, Cygwin CDL is a C-like language for hardware description; simulator generates C++ models and synthesizable verilog. Includes C++ cycle simulation engine.
-
16
A simple project which attempts to emulate real life in the launching of a trebuchet. Requires a python compiler, and the python modules for math, gtk, pygame, random, and numpy. Please note: this is an early version and is in alpha.
-
17
UfakPython is a small subset of Python programming language, for small embedded devices, like PICs. UfakPython sources are translated to C by UfakPython Compiler. Small Device C Compiler can then compile the C outputs to the target device's codes.
-
18
-
19
Freeode
Solve Differential Equations
Freeode is a compiler for the SIML programming language. It is a specialized language to solve differential equations. The compiler creates a python program that uses Numpy and Scipy to do the numerical computations.
- Previous
- You're on page 1
- Next
