Explore Projects

<p>The Functional Mockup Interface (FMI) is a tool independent standard for the exchange of dynamic models and for co-simulation. The main objective of this project is to create an interface for model exchange and perform co-simulation.</p>

<p>Frontera is a distributed web crawling framework, it acts as a crawl frontier, dealing with the crawling strategy to be followed. The goal of this project is to port frontera to python 2/python 3 dual compatibility, and improving test coverage and other improvements along the way.</p>

<p>Currently Chapel has support for ‘shared’ lifetime-managed objects, which is implemented using reference-counting. Unfortunately reference counting has associated with it very large overheads that are remedied by other types of memory reclamation. This project focuses on exploration of Epoch-Based Reclamation and the newer Interval-Based Reclamation, first via their implementation in shared-memory in a way that allows them to be direct contributions to the language, and then via adaptations and synthesizing possibly newer memory reclamation algorithms from the above mentioned or even from newer, novel ideas.</p>

This project aims to extend the existing P4sim module integrated within the ns-3 network simulator by implementing control plane functionalities. The P4sim currently supports the simulation of P4-programmable data planes in ns-3, providing a powerful environment for research and development in programmable networking. This project proposes to bridge that gap by integrating a control plane to support P4 Runtime, like changing the openconfig-interfaces, the ethernet augments and other runtime configurable features. The enhancements will improve the realism and usability of the simulator for research and experimentation involving P4

<p>It is easy to use GUI, but for advanced purposes we have to use scripting, notebook. The aim of the project is an easier transition between GUI and scripting. Complete script corresponding to an analysis made by a user in GUI is generated. Users can download or copy the code. Using this code users can perform analysis with the same parameter as in GUI in a scripting environment that gives users more flexibility.</p>

<p>The proposed project is to create a set of Python based tools for easier and efficient creation of Hypermedia driven REST-APIs.</p> <p>The other part is an application that simulates the movements of a flock of drones that have as objective to detect the presence of fires or abnormal heat spots in a given geographical area using an infrared sensors to demonstrate the capabilities of Hydrus and the Hydra Draft.</p>

There is ongoing work to instrument the Rust standard library with safety contracts. Based on a discussion by the Formal Verification Working Group there is still a lot of work to leverage the power of separation logic in contracts, and make it compatible with existing tools that use separation logic. The nature of my contribution would be more research-oriented, since a very good understanding of the connection between separation logic, existing tools and what we can and need to support in Rust contracts is necessary. Based on this research, a successful project should deliver the appropriate code contributions to support (partially or fully) separation logic in Rust contracts, and ideally demonstrate its compatibility with existing tools by tackling selected challenges in the Verify Rust Std Lib project.

<p>Pallene is a statically typed sister of the Lua programming language. This proposal aims to add support for Closures in Pallene.</p> <p>Closures are functions that are capable of capturing variables from outer scopes and retain references to them even after their scope has been exited. The addition of closures and higher order functions will allow programmers to take a functional approach when authoring libraries and scripts.</p>

<p>The Activeloop organization provides data scientists worldwide with a solution to these problems so that they can spend more time training their models and saving resources. Hub is a package that stores petabyte-scale datasets as a single numpy-like array on the cloud, so one can seamlessly access and work with it from any machine. Hub has a simple API that enables its users to obtain a lot of functionality with just a few lines of code. However, as a complete beginner, it is difficult for many to learn the nuances of a new package. Reading the documentation is something that helps, but it is not exactly a fun way of learning something new. It can become tedious and boring. This is exactly why it would be great if Hub had a package that interactively teaches the basics of hub in the CLI itself.</p>

<p>Code critics are super important while developing software systems. They help developers to find source code sections which code quality is subject of analysis while they are writing or reading code; Despite the great contribution it makes to programmers using Pharo, there are still issues that can be improved. These problems also create difficulty for Pharo beginners; Pharo beginners believe their learning status induces the difficulty using code critics and results in a truly bad experience with the IDE, the language, and even programming. We will perform a number of improvements to the code critics and enchancing current code critics global browser, that will help the developers community to improve the quality of their code and the Pharo System.</p>

This project prototypes a new set of Cargo plumbing commands, aligned with Rust’s 2025H1 project goals. Plumbing commands are lower-level, less opinionated commands to interact with the Cargo API. By focusing on lower-level functionality, this project aims to better support Cargo users’ specific processes and use cases. Moreover, the introduction of these new Cargo plumbing commands aims to fix current issues of existing commands and improve their integration.

<p>Vert.x has already the capability to send metrics to Hawkular. However, students in thie proposal have to implement the functionality needed so that resources in vert.x can report themselves into the inventory of Hawkular, so that the Hawkular UI and other clients can find them with additional traits like operations, names of metrics etc. This also implies being able to run operations from Hawkular inside vert.x.</p>

**Pwndbg** is a debugger extension that enhances the debugging experience. It currently supports only GDB and LLDB on Linux and macOS. This project introduces Windows support for Pwndbg. Initially, only WinDbg will be supported, but a generic interface could enable support for other debuggers (GDB, LLDB, x64dbg, etc.). The goal is to bring Pwndbg enhancements to the WinDbg console — providing a similar experience to using it with GDB or LLDB. End users should be able to access all native WinDbg features while also using Pwndbg commands and context windows. The project leverages WinDbg’s `wdbgexts` or `DbgEng` to interface with Pwndbg. This requires either an RPC client-server protocol or native integration of Pwndbg on Windows. Pwndbg needs to hook into WinDbg states (registers, memory, etc.) and respond to all command calls from WinDbg.

<h5>Freechains Lua API.</h5> <p>This is an API for the Freechains project written in the Lua programming language. The lua-sockets library is used to interface with a daemon which string commands are sent to. This project manages the sockets for you and also provides optional extensions to work with the daemon abstractly without manually writing out strings of commands. This is to allow for concise creation of applications on-top of Freechains, and testing of the Freechains protocol.</p>

<p>Deployment is the last stage in the application development process and before that, any application undergoes a comprehensive testing process to validate that the system meets its functional and non-functional requirements. An application comprises several functions, classes, procedures which are referred to a unit. The objective in unit testing is to isolate each unit of the system and validate its precision by identifying and fixing the defects and bugs and benefit of unit testing is that issues can be identified on earlier stages. Chapel currently lacks unit testing, which harms the development of the platform and makes easier to reintroduce past bugs while developing. <strong>This project is a proposal to add a set of unit test classes to Chapel. </strong></p>

<p>The project aims at building stunning visualization tools using GLSL. Visualization of brain images and other datasets will be super fast using Shaders. Shaders communicate with the GPU and accelerates the display of data. The project requires us to program Vertex and Fragment Shaders code and test it on datasets of interest.</p>

<p>Leros is a tiny resource optimised open source microprocessor written in VHDL. The proposal is to reimplement Leros in MyHDL so that it can be used as an intelligent controller for various peripheral devices in Rhea designs, and compare it's performance on various FPGA boards, and demonstration through implementation of a command bridge state machine.</p>

<p>I have started doing the initial work on the EOS Adobe XD plugin and I found the community extremely supportive. For the summer, my goal would be to increase the capabilities of the Adobe XD plugin, and develop the Angular package for EOS. This might touch the sister packages for React library and the original NPM package and I would ensure there are no frictions during development and we are on the same page while moving forward.</p>

<p>The Rust Project empowers developers to build reliable and efficient systems software with memory safety guarantees.</p><p>This project aims to build automated advisory database resolution and cargo audit warning highlights directly into the Cargo CLI toolchain.</p><p><br></p><p><strong>Deliverables:</strong></p><ul><li>Cargo audit subcommand plugin in Rust.</li><li>Integration test suite targeting RustSec database.</li></ul><p><br></p><p><strong>Applications closing date: 25-Apr-2026</strong></p><p><strong>Mentee confirmation: 10-May-2026</strong></p>

The aim of this project is to extend LPython's OOP capabilities to enable the porting of CPython modules. The proposal is divided into three main parts: improving the utility of classes in LPython using general imports and dunder methods, porting CPython's re and json modules and addressing some miscellaneous goals like adding advanced data structures and improving string attributes.

<p>This project aims to support the use of RISC-V in education by providing a simulator to step through assembly programs. This is a similar concept to how MARS (<a href="http://courses.missouristate.edu/KenVollmar/mars/" target="_blank">http://courses.missouristate.edu/KenVollmar/mars/</a>) is currently used in education. By making a simulator that supports RISC-V, educators will have more variety in what they can teach leading to better learning outcomes of the students and will provide a path into working with RISC-V rather than simply working with MIPS.</p> <p>The first steps that will be taken to make this simulator will be surveying existing simulators to find pitfalls and potential strengths early. Additionally, the survey could potentially find an existing codebase that can be built upon easily to support RISC-V and allow this project to support more features.</p>

<p>Smart HTTP/2-based protocol for Infinispan.</p> <p>The Infinispan Server distribution contains a server module that implements Infinispan’s custom binary protocol called Hot Rod. The protocol was designed to enable faster client/server interactions compared to other existing text based protocols and to allow clients to make more intelligent decisions with regards to load balancing, failover and even data location operations.</p> <p>In 2015 the 2nd version of HTTP protocol (simply HTTP/2) was finally introduced. HTTP/2 provides a lot of features that are also implemented in Hot Rod protocol. For example, using the HTTP/2 will be more preferable than Hot Rod because the size of the requests and responses will be smaller.</p> <p>Expected results of this project are:</p> <ol> <li>Modify current REST Server endpoint for Infinispan to handle HTTP/2 protocol. Modification will be based on implementing features from Hot Rod protocol to HTTP/2.</li> <li>Create HTTP client on Java.</li> </ol>

<p>An application from Jingrui for Céu-Arduino, I'll do my best for that.</p>