Skip to content
View KabirSamsi's full-sized avatar
🎸
Either playing guitar or chasing a bird
🎸
Either playing guitar or chasing a bird

Organizations

@Saberchat

Block or report KabirSamsi

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
KabirSamsi/README.md

Hi there! I'm Kabir.

  • 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, algorithms, software engineering/verification and combining them to create elegant systems.

  • My background is in fullstack development. Presently, I love exploring programming languages (PL), domain-specific languages (DSLs), and compilation between different languages. I also dabble in algorithm design and software verification. I am always searching new for ways to combine PL, ML & SWE with areas ranging from music to ornithology!

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.

Main Skills & Interests 💡

  • Programming Language & Compiler Design
  • Software Development & Verification
  • Backend & Full-Stack Development

Tools & Technologies 🔧

Languages

JavaScript/TypeScript, OCaml, Rust, Java, Python, C/C++, Haskell, Go, Ruby, Swift, HTML/CSS, Verilog, RISC-V

Frameworks/Tools

  • Fullstack: 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, Parsers (Menhir, Lalrpop, Yacc, JavaCC), Proof Systems (Coq, Idris)

Projects 🌱

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). At some point I'll get them back on the internet.

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

  • KLaTsL: A functional, typed & interpreted language focused on linear algebra. Explores liquid typing and the idea of a dimensional type system, and presents syntax including matrix comprehensions and typechecked transformations.

  • Franz: A compiled, domain-specific programming language targeted towards compact and modular musical composition, using a medium of text-based musical notation. Compiles to ChucK, an audio production and representation language.

Pinned Loading

  1. Saberchat/saberchat Saberchat/saberchat Public

    Intranet platform infrastructure template for schools and small organizations. Currently servicing Montessori schools and student-run clubs within the East Bay.

    EJS 6 2

  2. franz franz Public

    A compiled, domain-specific programming & music description language targeted towards compact and modular musical composition, using a medium of text-based musical notation.

    Rust

  3. KLaTsL KLaTsL Public

    A DSL targeting linear algebra. Explores liquid typing and the idea of a dimensional type system, and presents syntax including matrix comprehensions and typechecked transformations.

    OCaml

  4. find-your-bird find-your-bird Public

    Website for amateur Bay Area ornithologists to look up, post info about, and identify birds that they see through specific parameters. Developed with the MEAN Stack.

    JavaScript

  5. cucapra/packet-scheduling cucapra/packet-scheduling Public

    P4 3

  6. mlck-prover mlck-prover Public

    An imperative language, logic parser and simple theorem prover designed to function via a CLI.

    OCaml 1