kabirsamsi / level2donut Goto Github PK

• I study CS, Math & Music at Cornell with a concentration in Programming Languages.

• I research the applications & intersections between programming language theory (PL) and computer architecture at CAPRA, and work as a software developer at CMSX and a data analyst at Merlin.

• My interests lie in PL & compilers, applied machine learning, algorithms and combining them to create elegant software systems.

• With a background in full-stack development, I have more recently developed a fascination for domain-specific languages (DSLs), and for exploring compilation and assembly between different frameworks. I also love to explore machine learning and algorithm design, and combining them all into software engineering.

You can always reach me at [email protected] or [email protected]! Also feel free stop by my LinkedIn.

You can also learn a bit more about me at my website, and check out my resume.

• Programming Language Theory, DSL Design & Implementation
• Compilers & Systems Programming
• Fullstack & Software Development
• Machine Learning & Data Engineering

JavaScript/TypeScript, OCaml, Rust, Java, Python, C, C++, Haskell, Verilog, Ruby, Swift, Assembly (RISC-V, x86) HTML, CSS

• Web Development: MEAN Stack, React, Ajax, JQuery, JSP/EJS/Pug, Bootstrap, Mongoose, Nginx
• Machine Learning: Flask, Pandas, Numpy, TensorFlow, PyTorch, Keras
• Databases: MongoDB, SQL/PostgreSQL/MariaDB, Neo4j, AWS Lambda
• Other: LaTeX, Git, Parser Design (Menhir, JavaCC, Yacc), Verification Systems (Coq/Rocq, Idris)

You can view some of my larger public projects on GitHub including Saberchat (platform for schools & community organizations) and FindYourBird (ID and information site for amateur birders).

I'm currently working on a few projects including the following!

• KLaTsL: A functional, typed & interpreted language focused on linear algebra. Introduces an elegant type system and syntax featuring matrix comprehensions & factorizations, typed transformations, dimensional typing and more.

• Franz: A compiled programming language to represent music, Franz introduces features including rhythm comprehensions, recursive scales & motivic pattern matching. Compiles to ChucK, an audio production and representation language.

• RISCV-Pipeline: A disassembler, decompiler, processor simulator and program verifier to translate machine code to RISC-V Assembly and verify program correctness given a set of program-state specifications.

Do also keep an eye out for some of my notes on algorithmic challenges and ideas I post!