Fetching the latest programs, projects, and workspace data.
Find open source projects actively accepting contributors. Search repositories, filter by program milestones, difficulty tags, or tech stack.
Use our Orbit AI Matcher to find out! Get instant matching scores based on your developer skills, preferred frameworks, and contribution experience.
Convert your selected open-source project into a winning GSoC, LFX, or Outreachy application using Proposal Studio.
<p>In this project the multi-objective mean-payoff properties in Markov decision process are to be added into Prism, which is a probabilistic model checker. In this project the following things are done to Prism:</p> <p>• Multi-objective mean-payoff properties support in Markov decision process is extended, namely the algorithm defined in [1] is planned to be added. This should be based on the already existing MultiGain.</p> <p>• A conversion algorithm for f LT L (GU ) formulae to a MOMP, defined in [2].</p> <p>• The (already existing) Rabinizer for converting LTL to DTGRA, be- cause it heavily intersects with the conversion algorithm for f LT L (GU ) .</p> <p>[1] Chatterjee, Krishnendu, Zuzana Komarkova, and Jan Kretinsky. ”Uni- fying two views on multiple mean-payoff objectives in Markov deci- sion processes.” Logic in Computer Science (LICS), 2015 30th Annual ACM/IEEE Symposium on. IEEE, 2015.</p> <p>[2] Forejt, V., J. Krcl, and J. Kretnsk. ”Controller synthesis for MDPS and frequency LTL GU (2015).” CoRR, abs/1509.04116.</p>
Description: In KubeVela, we use CUElang to code the definition. We want to support auto generation of multiple languages SDK from CUE, so that users can use KubeVela in their own language. Expected Outcome: Support auto generation of multiple languages SDK from CUE, including Golang, Java, Python, etc. The capabilities should be wrapped in vela cli command.
Tree-sitter is a parser generator tool and an incremental parsing library. In order to support more features of the IDE, we need a more complete syntax tree, and for easy integration with the community, we intend to use tree-sitter to build a more complete parser system for KCL. Expected Outcome: Supports all of the current KCL syntax, which can pass all test cases.
At the end of Moore’s law, building domain-specific computer architectures is considered the next step in improving program efficiency. Hls4ml is an open-source project that translates machine learning (ML) models to high-level synthesis (HLS) code for deployment on hardware accelerators. The idea stems from the high-energy physics community at CERN. Google XLS (Accelerated Hardware Synthesis) is a novel framework that implements an HLS toolchain to produce synthesizable code for FPGA and ASIC applications. Thus, XLS can be integrated as one of the backends in hls4ml for transforming ML models into synthesizable code. The goal of this project is to integrate an XLS-based backend for the hls4ml framework. In doing so, hls4ml benefits from improved vendor compatibility and portability while also offering the potential to increase hardware efficiency. During development, we will benchmark performance and resource utilization against the existing backends (e.g., AMD Vivado, Intel Quartus). Furthermore, XLS provides a domain-specific language (DSL) called DSLX and an optimized compiler that can reduce compilation time. The expected results are an XLS backend prototype and benchmarks performed on various metrics for the synthesized code. Everything will be documented to facilitate use and future developments.
<p>Rule based integration (Rubi) consists of ~10,000 transformation rules which have been tabulated since last two centuries. Computer Algebra System(CAS) can match the integrand with the right rule to directly solve the integration without using general integration algorithms.</p> <p>Adding Rubi to SymPy can be very helpful to SymPy's integration module since it frees developers of algorithms from having to worry about the annoying and trivial problems and the special cases, and instead focus on the genuinely hard and interesting problems.</p> <p>Reference:</p> <ul> <li><a href="http://www.apmaths.uwo.ca/%7Earich/A%20Rule-based%20Knowledge%20Repository.pdf" target="_blank">A Knowledge Repository for Indefinite Integration Based on Transformation Rules by D.J. Jeffrey and A.D. Rich</a></li> <li><a href="http://www.apmaths.uwo.ca/%7Earich/" target="_blank">Albert D. Rich website</a></li> <li><a href="https://people.eecs.berkeley.edu/~fateman/papers/partition-new2.pdf" target="_blank">Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration by Richard Fateman</a></li> </ul>
<p>Dino currently has limited support for the OMEMO end-to-end encryption protocol. It supports one-on-one chats, but lacks a system to manage trust and verify devices, and has no group-chat capabilities. I will build an interface for managing device trust, before moving on to implement OMEMO support for group-chats.</p>
<p><strong>Security event auditing</strong> permits the selective and fine-grained configurable logging of security-relevant system events for the purpose of post-mortem analysis, intrusion detection, and run-time monitoring and is intended to meet the requirements of the <strong>Common Criteria(CC)/Common Access protection profile(CAPP) evaluation</strong>. The audit subsystem in FreeBSD, <em>audit(4)</em>, can record a variety of system events like user-logins, file system activities, network activities, process creations, etc.</p> <p>The <em>auditd(8)</em> on the server doesn’t generate any record trails for the NFS activities as the audit works mostly on the syscall level and the NFS server is implemented within the kernel.</p> <p>To audit NFS activities within the network, it will require to run the <em>auditd(8)</em> on each NFS client. This arrangement works perfectly fine in case of secure networks. But In the case of an insecure network, running <em>auditd(8)</em> on each client is not an option. The <em>audit(4)</em> support to the NFS server is a missing feature for such networks. Thus, the aim of this project is to <strong>audit each NFS RPC</strong>. This would allow audit of all NFS activities within the network by just running <em>auditd(8)</em> on the server.</p>
<p>This project aims to improve the functionalities of the Apache OODT OPSUI React.js User Interface and implement a REST API for the resource manager component of Apache OODT. The current OPSUI React.js dashboard which has been developed in the Apache Wicket framework will be replaced with the React.js UI on the completion of this project.</p>
mkimg(1), a FreeBSD tool used for creating disk images in various formats, currently lacks support for creating compressed QCOW2 images. This project aims to extend mkimg by adding support for generating QCOW2 images with compression enabled, reducing FreeBSD's reliance on external tools for this functionality and improving the system's self-sufficiency in image creation workflows.
The print dialogs of the major GUI toolkits, GTK, Qt, got CPDB support added in GSoC 2022, but several applications come with their own creation of a print dialog these are Firefox/Thunderbird (Mozilla), Chromium/Chrome (Google), and LibreOffice. Also these dialogs need to get CPDB support to make CPDB universal. Task is to get CPDB into the print dialogs upstream for Mozilla
This project aims to extend the capabilities of the ONNX-to-mlpack converter by adding support for more advanced and diverse model architectures. The focus will be on enabling the translation of complex ONNX computational graphs, including LSTM-based models and Directed Acyclic Graph (DAG) structures. Additionally, the project will introduce support for NLP models and incorporate foundational NLP components such as Word2Vec-based tokenizers, encoders and decoders in mlpack.
This project focuses on finishing up development of Vue.js circuit simulator, alongside converting the existing JavaScript codebase to TypeScript, ensuring a more robust and maintainable platform. The transition to Vue.js and TypeScript will enhance the simulator's performance, stability, and scalability. Key aspects of the project include integrating the simulator with the main repository, setting up TypeScript, API integration and testing, implementing additional features, and refining the user experience.
This project aims to extend API Dash by adding support for WebSocket, MQTT, and gRPC, enabling developers to work with multiple modern communication protocols within a single tool. It will introduce a modular, protocol-agnostic architecture along with intuitive UI components for real-time and streaming workflows. Additionally, a CLI will be developed to support headless usage . The focus will be on performance, usability, and seamless integration with the existing API Dash ecosystem.
<p>Mission Support System currently relies on the python basemap package for supplying non-cylindrical projections and plotting of geographical features with the use of EPSG Codes. This package has been deprecated and been supplanted in the community by the cartopy package.</p> <p>In this project I will first completely change the existing code and replace the relevant parts by Cartopy, further optimization might be needed after which support for more geographical projections will also be added as mandated by WMS Standard.</p>
<p>I propose to port Examples for developers sub-modules from Drupal 7 to Drupal 8. The function of Examples for Developers is that it would provide high-quality, well documented API examples for a broad range of Drupal core functionality thus developers can learn how to use a particular API by just experimenting with its module thereby they can adapt them for their own use so it is mandatory that it should be ported to Drupal 8(currently it is not configurable). As the project concentrate only on core API, each have their own importance.</p>
This project proposal is for the web_generator tool to parse TypeScript Type Declaration Files and generate valid Dart JS Interop code to call the library's JavaScript code from Dart, which can be used to call and use such libraries in Dart easily and conveniently through maintainable and efficient APIs, with the power of Dart's interoperability. This is to be done using tsc to parse Type Declaration Files and provide information about such declarations passed. Then, they are transformed into valid Dart JS Interop code, which is then emitted via the code_builder package.
The in-toto Jenkins plugin allows users to generate metadata in their build pipelines. Currently keys or credentials must be provided to the plugin to sign the metadata, whereas Sigstore offers keyless signing and verification. The addition of Sigstore transport will allow seamless uploading of metadata to Rekor transparency log. This project aims to enhance the Jenkins plugin by adding Sigstore support, allowing keyless signing and adding Sigstore transport. Expected Outcome: in-toto-jenkins plugins gets support for Sigstore
<p>The Data Retriever is a package manager for data. The Data retriever automatically finds, downloads and pre-processes publicly available datasets and it stores these datasets in a ready-to-analyse state. The Data Retriever handles tabular data and spatial data forms. The goal of the project is to add support that will enable the Data Retriever platform to have the capability of ingesting other forms of raw data. The project will introduce the support for raw data formats of XML, JSON, NetCDF, HDF, Excel, SQlite and Geojson data sources.</p>
This project enhanced Gradle Build Server for Android development by implementing composite build support, improving Java Home handling, and providing support for Android Java projects. These enhancements significantly improve the development experience for Android developers using Text Editors/IDEs that utilize the Build Server Protocol (BSP). By bridging the gap between Android Studio and Gradle Build Server, this project contributes to a more productive development workflow. This is a start to let developers benefit from the powerful capabilities of Android Studio within their preferred development environments.
The ever-growing support of the GNOME ecosystem for both mobile device and tablet use cases highlights the need for a proper support of a PDF viewer, which Papers is going to be the default app for. I want to make Papers fill this role with a UI overhaul in Papers’ shell in accordance with updated mock-ups, and based on feedback from GNOME’s design team. With that in place, I want to make sure common features accessible with a mouse will also be accessible to touchscreen users with common touch gestures such as pinch to zoom, or double tap to select.
Xdg-desktop-portal-luminous is a high-performance capture portal for Wayland compositors that supports frame capture and GPU-copy based frame streaming. The goal of this project is to improve support for Remote Desktop Protocol by ensuring more reliable input simulation and screencasting to enable remote desktop applications to work seamlessly on Wayland compositors using our custom portal backends. This will improve adoption and UX; users will no longer need to depend on other portals for this particular use case, and all use cases can be consolidated into a single portal.
The Kruise Game Controller Manager currently stores cache information for network plugins in memory, resulting in its single-replica deployment. From a business stability architecture perspective, it is necessary to migrate the cache out of memory to enable Kruise Game to transition to a multi-replica deployment. Besides, the current webhook certificate is self-signed by the controller. When the number of copies is more than one, an unauthenticated error will occur, so this needs to be modified. Expected Outcome: 1. Support multi-replicas deployment 2. Support webhook certificate signing using cert manager
<p>MZmine is an open-source computer application written primarily in Java, used for data processing of mass-spectrometry data. The application supports various features related to LC-MS, like raw data import/export, peak-detection, statistical analysis tools and data visualization. The project aims at adding support for mzTab-m file format for MZmine3 which is standard file for result representation of LC-MS data after analysis. Further, CliqueMS feature annotation algorithm will be implemented in Java and associated GUI will be developed in this project.</p>
<p>The Apache Gora™ an in-memory data model and persistence for big data. Gora provides a generic API to work with different datastores. Data storing, data persisting and querying can be done via Gora APIs on these data stores. Apart from data stores gora provides support for mapReduce, Apache Spark, Apache Pig and Apache Flink. On the other hand, Hazelcast jet is an emerging distributed computing engine which competes shoulder to shoulder with Apache spark and others. So this project is to add Hazelcast Jet execution engine support for Apache Gora.</p>