Explore Projects

Currently, CRIU cannot checkpoint or restore systemd-managed containers if there are SCM_CREDENTIALS messages waiting in a Unix socket queue. Because systemd uses these credentials for almost all service communications, any in-flight message causes CRIU to fail. We aim to solve this problem by adding support for SCM_CREDENTIALS and the newer SCM_PIDFD to CRIU’s socket queue logic. I will implement PID remapping to ensure credentials remain valid after restore and add support for modern socket options like SO_PASSPIDFD. The final deliverables will include core code updates to the socket subsystem and extend image formats.

CPAchecker now supports reachability analysis, which can search for a path from the initial program location to the error location. This project is a Proof of Concept, to implement the Backward Reachability Analysis, i.e. search for a path from the error location to the initial location. The main goal of this project is to implement a control-flow automata (CFA) transformer in CPAchecker that reverses program executions by following the transitions backward, such that for any program path in the original CFA, there is a corresponding equisatisfiable path in reverse CFA. After the transformation, the existing analysis can be applied to verify the reverse CFA, thus enabling the Backward Reachability Analysis.

Shardingsphere federated query engine provides support for SQL statements. In the GSoc period, I have to add support for more MySQL SELECT statements so that more SQL statements can be converted into SQLNode. This can be achieved by: 1- Analysing the SQL statement I have to add support of, 2-Figure out components & logic required , 3- Make changes in SQL federation engine optimizer files , 4- Optimize parser files , 5- Make changes in TEST files to ensure test is passing successfully. After the support for More SELECT statements queries is added, The users & developers will be benefitted by utilising more SELECT queries for MySQL .

<p>Data cleaning is a process used to determine inaccurate, incomplete, or unreasonable data and then improving the quality through correction of detected errors and omissions. The process may include format checks, completeness checks, reasonableness checks, limit checks, review of the data to identify outliers (geographic, statistical, temporal or environmental) or other errors, and assessment of data by subject area experts (e.g. taxonomic specialists). These processes usually result in flagging, documenting and subsequent checking and correction of suspect records. Validation checks may also involve checking for compliance against applicable standards, rules, and conventions.</p>

This project aims to implement a handful of issues in the zulip-flutter repository to make it ready for the launch milestone. This will be a large project (350+ hours) with 25 issues planned for now, but most probably this number will fluctuate based on the feedback from the mentor(s). These issues are related to various areas in the Zulip Flutter application such as compose, message list, model, API, setting, and home. In my initial contributions, I have already addressed some issues related to different aspects of the app, i.e., inbox, compose, and message list. This has given me a relatively firm grasp of the project and I feel confident enough to complete the selected issues.

This project aims to implement a handful of issues in the zulip-flutter repository to make it ready for the launch milestone. This will be a large project (350+ hours) with 25 issues planned for now, but most probably this number will fluctuate based on the feedback from the mentor(s). These issues are related to various areas in the Zulip Flutter application such as compose, message list, model, API, setting, and home. In my initial contributions, I have already addressed some issues related to different aspects of the app, i.e., inbox, compose, and message list. This has given me a relatively firm grasp of the project and I feel confident enough to complete the selected issues.

<p>WS-Trust is a WS-* specification that provides extensions to the WS-Security specification. WS-Security provides the basic framework for message level security in web services. WS-Trust builds on that base to specify a framework for broker trust across different security domains. It specifically deals with the issuing, renewing, and validating of security tokens, as well as with ways to establish, assess the presence of, and broker trust relationships between participants in a secure message exchange. This project focuses on implementing the WS-Trust specification for the WSO2 Identity Server 6.0.0 by simply integrating with Apache CXF.</p>

The rise of ARM processors has created new binary targets for pre-compiled executables. Additionally, there are tales of widespread use of operating systems that aren't linux? In the ideal case a `pack` user could create a build for an abritrary architecture and operating system, regardless of the host system they used to run the command. Expected outcome: Improved multi-architecture (including ARM) and multi-os "cross-compilation" support in [pack](https://github.com/buildpacks/pack/) Upstream Issue (URL): https://github.com/buildpacks/pack/issues/1459 and https://github.com/buildpacks/pack/issues/1460

This project aims to implement wasm-coredump, to enhance the debugging capabilities of WebAssembly by implementing a coredump feature for post-mortem analysis for the wasmedge runtime. When WebAssembly encounters a runtime error, it will start unwinding and initiate a process to collect debugging information, including stack frames, local variable values, and a snapshot of the linear memory. For each stack frame, it will collect the values in locals (includes function parameters) and on the stack. Along with binary offsets to resolve to source file locations. This data is saved in a coredump file, which can be analysed post-mortem to debug the error using tools like wasmgdb

<p>The objectives of the project are as:</p> <ol> <li>Completing the build matrix - testing on different compilers, different architectures, different Boost versions. For this, building a number of Docker containers, each with a different set of libraries and compilers, that can be used to build mlpack and run the tests.</li> <li>Running docker with Jenkins for continuous integration and continuous deployment. Using plugins to automate the build and deploy process with the Jenkins server.</li> <li>For testing on windows and os x, docker images will be supplied for the end users to just say a “docker pull” and get things running.</li> </ol>

The objective of this project is to significantly enhance the reliability, user experience, and maintainability of the Badge Magic application. To achieve this, I will systematically resolve core Bluetooth transfer errors and animation rendering bugs, ensuring stable communication between the app and the LED hardware. Furthermore, I will streamline the user workflow by upgrading the animation preview and introducing intuitive features for managing, loading, and sharing custom designs. Finally, to secure the project's long-term health, I will integrate structured logging and error tracking for rapid debugging, alongside a fully automated CI/CD pipeline to guarantee reliable app store releases.

<p>Telemetry System for Terasology has two goals: to gather players' gameplay information and to gather their error logs enriched with system details. Telemetry for Terasology will help developers know better about player's experience and improve the game. <strong>NOTE</strong> that the whole telemetry stuffs depends on user's options.</p> <p>This project requires both work on client side and on server side. On client side, the snowplow tracker lib is used to track metrics and the Logstash appender is used to report errors. On the server side, ELK stacks and snowplow tools are used to collect metrics, analyze and visualize data.</p>

<p>The main purpose of the project is to program an educational robot that uses an Arduino microprocessor with Python. It will support the main Python elements from the beginning, the ones that are used to code the educational robot. The code will be done in Python and them translated into the Arduino programming language. After this process, the code will be compiled and ready to be uploaded to the Arduino board, so we can code our app with Python and use an Arduino board without having to code on the Arduino programming language. To achieve this objective, we will implement a translator that will take the Python code, generate the Arduino code from that one and compile it so it’s ready to be used on a robot like MBot.</p>

Currently, the autocomplete feature in the p5.js Web Editor is facilitated by CodeMirror and a custom-built static hinter (as given in the structured JSON file, p5-hinter.js). The hinter suggests all the available functions, and while it is helpful, the current implementation lacks context-awareness, and that can be confusing, especially for beginners. In this project, I will improve the autocomplete by making it context-aware which means it will only show suggestions that make sense based on where the cursor is in the code. I will also add autocomplete for user-defined functions, variables, and classes, and support features like jump-to-definition and renaming. This will make the editor more beginner-friendly, intuitive, and efficient to use.

<p>The project I intend to carry out is the creation of a MT engine for the language pair Italian-Sardinian based on the Apertium platform. As pointed out above, MT is crucial for the survival of minoritised languages. Apertium, having lead the development of RBMT engines in the last years, provides an excellent framework for language pairs of the same linguistic family without the need of linguistic corpora. The experience of Apertium with several minoritised languages such as Occitan, Asturian or Maltese proofs that such a project is viable. Google and Apertium would benefit from this project, not only because it would contribute to open-source software and minority languages, but especially because it would have a great impact in the Sardinian society, since at present there is no MT system for the Sardinian language, neither by Google nor by Apertium.</p>

ArduPilot is the most advanced autopilot software capable of controlling numerous vehicles such as Copters, Planes, Rovers, Boats, etc. It comes with highly advanced and customisable features. This project proposal is based on implementing a feature named AutoDocking on rovers. With autodocking feature, we would be able to automatically park a rover at a docking station. This would reduce the efforts of the pilot to manually drive and park the vehicle at the desired location. I propose to implement this feature with the help of a camera sensor attached to a companion computer which would help us track the dock and transmit relevant mavlink messages to the vehicle. These mavlink messages will be used at the vehicle end to estimate the precise position of the docking target and maneuver the rover towards it.

The reference documentation for the Kubernetes API is generated at the end of every release cycle. Due to difficulties with the tools used to do this, and the state of that tool's documentation, intimate knowledge of how the tool works is required and generating the reference docs can only reliably be performed by one specific person. Currently, it is possible for the generator to fail at multiple points in the process. Many of these failures are entirely undocumented and without any error handling. Expected Outcome: A measurable improvement in the usability of the reference docs generator, through some combination of an improvement in documentation, error handling, and code refactoring. It should be possible for other contributors to follow instructions and reliably produce the reference API docs, with solutions to any remaining common failure modes thoroughly documented.

<p>Through this project, I wish to improve the chat-ops capabilities of Zulip by adding support for slash commands and outgoing webhooks. Outgoing webhooks are integrations which send data to third party services from Zulip on being triggered. Slash commands enable users to make use of services through chat messages. Example: change topic, archive messages, etc. I wish to build an outgoing webhook system which will enable users to easily add outgoing webhooks into their Zulip realm through UI. Users can also use their own code by adding it to the codebase for complex uses. I also wish to add support for slash commands which can be enabled, disabled and managed by users.</p>

<p>The goal of this project is to build a JavaScript client for the CernVM filesystem implemented as a pluggable backend library for the Emscripten compiler. This will allow C/C++ programs compiled using Emscripten to perform POSIX read-only I/O on files, directories, and symbolic links stored on remote CernVM-FS repositories. Core features of the client will include: fetching and decompressing file data chunks on-demand, verifying data integrity of downloaded content, parsing X.509 repository certificates, verifying RSA signatures on repository manifests, seamlessly accessing nested catalogs and chunked files, and persistently caching file data and metadata on the browser's local storage.</p>

<p>Elichika and ch2o are python to ONNX experimental compilers for Chainer ML framework (Elichika would eventually replace ch2o). Given a Chainer model, it parses the python source to get Abstract Syntax Tree and uses it to generate ML framework independent ONNX graphs. Currently neither of the compilers support parsing python jump statements. Moreover, several Chainer functions supported by ch2o are currently unavailable in Elichika. The objective of this project is to extend support for parsing break, continue and pass statements in both Elichika and ch2o. Additionally, it also involves adding Elichika support for Chainer functions and links existing in ch2o but not in Elichika such as sigmoid, max_pooling_2d, BatchNormalization, etc.</p>

<p>Using regular expressions to parse messages is very common and useful. Currently, syslog ng supports extracting fields (or name-value pairs) in its filter expressions. However, those are primarily meant for filtering and don't store extracted groups by default (despite we can manually add store-matches flags option). To make up for this deficiency, this project is to develop a new parser type, here I call it <strong>regexp-parser()</strong>. The motivation behind <strong>regexp-parser()</strong> is to remove the need to use filters to extract name-value pairs from content, which has traditionally been done by parsers. And these names can be used as user-defined macros for subsequent filtering or other types of message processing.</p>

The proposal aims to enhance Artemis' vulnerability detection capabilities while optimizing performance and providing a modern, accessible user experience. Key features include: Comprehensive Subdomain Enumeration: Implement a multi-source, multi-technique engine for thorough subdomain discovery, integrating popular tools and querying public databases, search engines, and web archives. IP/Domain Validation and Filtering: Validate live IPs/domains using httpx and filter out spam domains based on publicly available lists, ensuring focused and efficient scanning. Modern and Accessible UI: Overhaul the user interface with a fresh, visually appealing design aligned with Artemis branding, incorporating accessibility features and best practices.

SAIL-RISC-V golden model is currently being actively developed and focuses on the ISS export feature whereby a reference interpreter/emulator is automatically generated from the specification. Prior work on RGEN has shown that export the LLVM (as well as QEMU and PyTorch) is possible, to support automatic flow of custom instruction extensions (modules) to compiler intrinsics, emulators and AI frameworks. In this project, the export feature shall be extended to cover CGEN, the compiler ISA definition/extension framework for GCC. Building on initial work done at Embecosm earlier, we will upgrade the CGEN framework, build transformations to automatically generate CGEN descriptions given a SAIL specification using an example of tensor/matrix multiply extension.