Explore Projects

To address this, I propose creating a dynamic organization website that automatically fetches project information from GitHub repositories. Current State of the Problem: Manual data entry processes are time-consuming and prone to errors. This affects the accuracy and timeliness of project information displayed on the organization's website.

<p>One of the major challenges faced when applying model checking is the state space explosion, due to which it becomes impossible to detect errors in many cases. The main aim of this project is to utilize multiple cores for state space exploration in order to achieve massive speedup.</p>

A single dashboard that clearly shows individual services as well as aggregate system information, for transport-level information like request rates, error rates, etc., and lower-level information like CPU usage. This dashboard should have interactions available to fine-tune what metrics are shown.

Zulip Terminal is a TUI-based Zulip client, this project aims to enhance the user experience of Zulip Terminal by integrating more features from the Zulip webapp. Focus areas include improving the test suite, interface enhancements, hotkeys, message rendering and refactoring code to cleaner forms.

<p>I aim to seek out the reliance on legacy functionality in the engine that powers the QPainter class and to convert this functionality to work in version 3.2 Core Profile. This will enable OSX to display decorations and will likely allow Krita to run on Mac OS X computers.</p>

The ZOO-Project is a solid WPS server able to handle services implemented in various different programming languages. The existing `ZOO-Kernel` supports C, C++, and JS implementations with the embedded version of the SpiderMonkey engine. With this project, the objective is to add support for NodeJS implementation of the `ZOO-Kernel`.

My proposal is all about Project Taskwarrior which is a list managing system for CLI. So here I show made a sample app in the flutter of Taskwarrior.In my Proposal, I show my design, proposed ideas regarding the project, and a timeline that how I spend my time during this. Also, I present some of my code and packages that we can need and also suggest some UI design.

<p>The purpose of this project is to replace the current web interface, chorus2, which is written in Coffeescript. In order to maintain active development on the web interface, it must be rewritten in another framework with better backing. We have chosen to use Elm in the new interface because of the benefits of a functional language such as error reporting.</p>

Description: Pixie performs automatic tracing and parsing of various protocols (e.g. HTTP, MySQL, Kafka), but there are many others that still need to be added. You can help add protocol parsers for technologies such as Mongo, AMQP (used by RabbitMQ and other message queues), or another protocol of your choice.

<p>R is one of the best available programming languages for computational statistics, data visualization and data science. The goal of this project is to implement R bindings for Xapian search engine library, thus allowing the use of Xapian's advanced indexing and searching facilities in R applications.</p>

This project builds a long context and complex reasoning coding evaluation dataset for Gemini CLI. It focuses on multi file, multi language software engineering tasks, difficulty certification, agentic evaluation, and structured failure analysis to better measure real coding agent performance on large repositories.

<p>The main aim of this project is to implement in SymPy, a basic control system functionality that would be beneficial for engineers trying to solve Control problems. It will make use of some of the sympy's existing features and core classes and will be a candidate for a full symbolic model rather than just being a simple solver.</p>

Submitty's autograding is complex for instructors. This project will revamp the Notebook Builder interface to be more user-friendly. Instructors will be able to create autograding configurations more easily through as new interface, improved documentation, and tutorials. The project will also add features to support compiled languages and complex grading.

In my proposal, I'm suggesting we give the oemgaUp website a fresh new look and feel. The goal of this redesign is to make the website more modern, visually appealing, and easy to navigate. By making these changes, I believe we can create a more user-friendly and accessible website that will attract more visitors and increase engagement with the organization's content.

This feature implements RFC 7953 in the Kalendar app. This adds the ability for a user to provide their availability in a shared calendar. When a user wants to schedule a meeting, with this feature in place, they will be suggested better intervals by taking the availability of the attendees into consideration. This updates KCalendarCore and the Kalendar projects (for the most part) of the KDE ecosystem.

Many UDB tools are written in Ruby, including documentation generators and an instruction set simulator (ISS) generator. This mentorship involves developing and maintaining these tools. Proficiency in Ruby is required, while experience with Asciidoc or C++ is preferred but optional. Knowledge of compiler concepts like Abstract Syntax Trees is a plus.

The aim of the project is to create a monitor tool that will record information when building a project. Said information could include, among others, the compiler used, the options given, the source language, the libraries used, the source files and even the executable generated. Only Linux 5.3+ is planned to be supported for the time being.

<p>TensorMap is a web application that will allow users to create machine learning algorithms visually. TensorMap supports reverse engineering of the visual layout to a TensorFlow implementation in Python. The goal of the project is to let beginners play with machine learning algorithms in TensorFlow with less background knowledge about the library.</p>

<p>The aim of my project is to improve the interface of sTeam and make it more interactive and secure. I will be adding the TLS protocol for all the network communication and then work on the improve the user interface adding the plugins for vim and emacs. Towards the end I would be improving the packaging and error management making the installation process easier and smooth.</p>

<p>The project aims to implement single-precision floating-point support for GPU acceleration in the VecGeom library. This will be achieved by first analyzing and locating the current errors, then fixing them for the most general cases. The process will be done for all primitive solids, starting with the most frequently used, and then for the global navigation algorithms.</p>

Creating a source generator for Corvus.JsonSchema, which adds the code produced by the tool to the user's source so that it can be compiled. By leveraging JSON Schema as a unified source of truth for data modelling, teams can generate code for their respective data models while adhering to a standardised data structure defined by JSON Schema.

The main goal of this project is to improve the user experience of Zulip Terminal by porting features from Zulip web which are not already implemented in ZT. The features to be implemented include supporting unsubscribed streams, direct message side panel and custom profile fields, while also improving unread cycle algorithms and topic matching.

<p><a href="https://github.com/bd-R/bdchecks" target="_blank">bdchecks</a> has the potential to centralize the effort to develop a sustainable infrastructure for biodiversity data quality checks in R. This will promote better scientific software engineering, better user experience, and the engagement of domain experts.</p>