We're excited to be at IndiaFOSS 2026 (@IndiaFOSS) this weekend! Kicking off FP Launchpad's participation with a workshop, Fun and Profit with OCaml. Friday Sept 25, 2-5 PM, NIMHANS Convention Centre, Bengaluru. fossunited.org/c/indiafoss/2…
At #IndiaFOSS today! Giving a beginner-friendly lightning talk on Proofs & Software Verification: how we can prove code is correct.
If you’re around, come say hi 👋
fossunited.org/c/indiafoss/2…
A beautiful campus, lots of cats, opportunities for PL research and for writing functional programs to create beautiful systems. Doesn't get better than this (for me at least).
Just to give you a little bit of an idea as to these games. They run entirely in the browser and functionality gets added as you go along and code up the relevant functions.
Inspired by (and piggybacking on) prof's work, Alina, Vimala, Kaustubh and Smayan made a 3 hour OCaml workshop for people new to functional programming. Sign up at the link
3/n
fossunited.org/c/indiafoss/2…
Pragyansh and Varun have made it possible to write eBFP programs in pure Python, allowing you to utilise Python's ecosystem in writing code that runs inside your kernel.
They'll present on their insights and gather feedback on what other features the community would like.
4/n
Few of us from @fp_launchpad will be doing a workshop called "Fun and Profit with OCaml" at IndiaFOSS.
Come, say hi, learn some OCaml.
+ you will get to write some fun games in OCaml.
This is on Friday, 25th - 2 to 5 pm.
Book tickets here: fossunited.org/dashboard/buy…
Few of us from @fp_launchpad will be doing a workshop called "Fun and Profit with OCaml" at IndiaFOSS.
Come, say hi, learn some OCaml.
+ you will get to write some fun games in OCaml.
This is on Friday, 25th - 2 to 5 pm.
Book tickets here: fossunited.org/dashboard/buy…
We're excited to be at IndiaFOSS 2026 (@IndiaFOSS) this weekend! Kicking off FP Launchpad's participation with a workshop, Fun and Profit with OCaml. Friday Sept 25, 2-5 PM, NIMHANS Convention Centre, Bengaluru. fossunited.org/c/indiafoss/2…
We're excited to be at IndiaFOSS 2026 (@IndiaFOSS) this weekend! Kicking off FP Launchpad's participation with a workshop, Fun and Profit with OCaml. Friday Sept 25, 2-5 PM, NIMHANS Convention Centre, Bengaluru. fossunited.org/c/indiafoss/2…
FP Launchpad's IndiaFOSS 2026 run continues into the devroom! Four talks Saturday afternoon, Hall 3, on OCaml benchmarking, PythonBPF, and formal verification.
fossunited.org/dashboard/sch…