Blogs – Vipul Cariappa

Glorified Summery: Automated Theorem Provers

Math

Logic

In mathematics creating or coming up with a proof is a difficult procedure. The proof we do come up with can contain errors and mistakes that need to be checked and verified…

Vipul Cariappa, Ravi Kamath

GSoC’24 - LPython: Project Completion

GSoC

Code

Internship

Python

LPython

This is the final report of my work done during the Google Summer of Code 2024 period with the Python Software Foundation, LPython sub-organisation.

GSoC’24 - LPython: 10th & 11th Week

GSoC

Code

Internship

Python

LPython

The last two weeks were slow. But implemented very important features. I am currently busy with my college examinations, and could not give much time here.

GSoC’24 - LPython: 8th & 9th Week

GSoC

Code

Internship

Python

LPython

The last two weeks were slow. I was busy with college work and could not give sufficient time for GSoC. Due to this, I could not write the last week’s blog. I should be…

GSoC’24 - LPython: 7th Week

GSoC

Code

Internship

Python

LPython

This was a fun week again. My mentor Ondrej attended the SciPy conference and also presented LPython in his talk. At the start of the week, he asked me about the status of…

GSoC’24 - LPython: 6th Week

GSoC

Code

Internship

Python

LPython

This week was fun. Most of the things went smoothly this week.

GSoC’24 - LPython: 4th & 5th Week

GSoC

Code

Internship

Python

LPython

I enjoyed the work this week. It was interesting and challenging at the same time.

GSoC’24 - LPython: Third Week

GSoC

Code

Internship

Python

LPython

This week was a slow week. I am stuck with a design decision regarding the implementation of printing top-level expressions when the expression is an aggregate datatype like …

GSoC’24 - LPython: First Two Week

GSoC

Code

Internship

Python

LPython

The last 2 weeks were rough. With the existing implementation of Just-In-Time (JIT) compilation we use for REPL, we were facing issues on Windows.
Say you declare a function f…

Google Summer of Code 2024 - My Project

GSoC

Code

Internship

Python

LPython

LPython is a statically typed compiled programming language with syntax inspired by Python programming language. LPython also aims to have first-class support to work with…

GSoC’23 - GNU Octave: Project Completion

GSoC

Code

Internship

GNU Octave

My project focused on improving the state of the octave-pythonic package of Octave. Octave-Pythonic provides support to use/call Python functions, modules and classes from…

GSoC’23 - GNU Octave: First 5 Weeks

GSoC

Code

Internship

GNU Octave

This is an account of all the tasks that I am finished with from the start of GSoC, or am working on at the moment.

GSoC’23 - GNU Octave: Week 1

GSoC

Code

Internship

GNU Octave

This is an account of all the things I have done during the community bonding period and the 1st week of the Google Summer of Code (GSoC) 2023. You can find more details…

Google Summer of Code 2023 - My Project

GSoC

Code

Internship

GNU Octave

octave-pythonic is an octave package used to incorporate python libraries and features in octave using the cpython interpreter. Currently, octave-pythonic only supports…