Skip to content
View jar2333's full-sized avatar
😄
😄
20 followers · 62 following

Achievements

Achievement: Pull Sharkx3Achievement: Quickdraw

Achievements

Achievement: Pull Sharkx3Achievement: Quickdraw

Block or report jar2333

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
jar2333/README.md

Welcome!

I am a Software Developer, currently employed at Akcelita Innovation Labs

Languages I know: Python, JavaScript, C#, Go, Ruby, Haskell, OCaml, Java, and Bash.

Languages I want to learn: Elixir, Rust, Lua

Education

I have a Bachelor of Arts degree from Columbia University, majoring in Computer Science

I have an interest in:

  • 🌐 Web development: REST APIs, Ruby on Rails, Django, React, RESTful APIs, Microservices, Cloud (AWS)
  • 🕹️ Game Development: Engine architectures (ECS) and gamdev algorithms, particuarly those for procedural content generation.
  • 🐫 Compilers and Programming Languages: Toy compilers, DSL interpreters, and now type inference algorithms/formalisms!
  • 📈 Graph Theory: Graph algorithm implementation (st-orientations, graph rewriting, graph drawing, etc...)
  • 🚧 Other miscellaneous topics! (stay tuned)

Current projects:

Previous projects:

  • 💎 EventAware: A Rails webapp for organizing events with unit testing (RSpec), integration testing (Cucumber), deployed on Heroku.
  • 🖼️ WFCpp: A C++ library for image synthesis using the Wave-Function Collapse algorithm.
  • 🐫 Part of the type theory working group for the sslang research project, working on pretty-printing tools for the type system's constraint solver.
  • 🕷️ Web crawler as part of my internship with the Columbia Build Lab (private repository)
  • λ Quine: An interpreter for a standalone relational programming language inspired by microKanren, implemented using Huet's algorithm for unification of lambda terms with a backtracking monad transformer.
  • ✏️ Sketcher: a sketch drawing classifier using graph-based analysis and indexing.
  • 🕹️ MatchMaker: A generic, extensible game server for matchmaking 2 player games, and for hosting tournaments. Features an HTTP and Websocket API for frontend or programmatic use.

Pinned Loading

  1. SamoyedAPI SamoyedAPI Public

    A simple RESTful microservice in Flask to fetch data for my blog.

    Python

  2. MatchMaker MatchMaker Public

    An extensible, generic websocket server for matchmaking turn-based 2-player games and hosting round-robin tournaments. Will include a sample implementation of Rock Paper Scissors.

    Go

  3. WFCpp WFCpp Public

    A modern C++ library for image synthesis using Max Gumin's Wave Function Collapse algorithm. Submitted as final project for COMS 4995 Design Using C++.

    C++ 3 1

  4. EventAware EventAware Public

    A Rails webapp for finding, advertising, and joining events around Columbia University

    Ruby

  5. Quine Quine Public

    A proof-of-concept Kanren-like relational programming language to generate lambda calculus terms. Will implement a lambda-term unification algorithm.

    Haskell

  6. ZigWFC ZigWFC Public

    A library for using the WFC algorithm in Zig, with demos.

    Zig