artemagvanian

Undergraduate Student & Researcher @ Brown University

Providence, RI

Pinned Repositories

avtoritet
Website of a local car dealer.
Language:JavaScript0 1 00
breathum
Online dashboard for managing air quality sensors.
Language:JavaScript00
bwxd-website-2022
BWxD 2022 website.
Language:JavaScript0 1 00
cs-concentration-optimizer
Using constraint programming to help CS students @ Brown generate concentration schedules.
Language:Java0 0 00
glitcher-js
Extract raw pixel values from any image.
Language:JavaScript00
kani
Kani Rust Verifier
Language:Rust00
md-notes-app
Me trying to reinvent Jekyll.
Language:Vue00
sat-solver
Implementing a SAT solver for CS2951O.
Language:C++00
K9db
MySQL-compatible database for GDPR compliance by construction.
Language:C++24 6 720
kani
Kani Rust Verifier
Language:Rust2.1k 25 1.6k85

artemagvanian's Repositories

artemagvanian/avtoritet
Website of a local car dealer.
Language:JavaScript0 1 00
artemagvanian/breathum
Online dashboard for managing air quality sensors.
Language:JavaScript00
artemagvanian/bwxd-website-2022
BWxD 2022 website.
Language:JavaScript0 1 00
artemagvanian/cs-concentration-optimizer
Using constraint programming to help CS students @ Brown generate concentration schedules.
Language:Java0 0 00
artemagvanian/glitcher-js
Extract raw pixel values from any image.
Language:JavaScript00
artemagvanian/kani
Kani Rust Verifier
Language:Rust00
artemagvanian/md-notes-app
Me trying to reinvent Jekyll.
Language:Vue00
artemagvanian/sat-solver
Implementing a SAT solver for CS2951O.
Language:C++00
artemagvanian/website
Artem's website.
Language:JavaScript00
artemagvanian/network-tetris
Online version of Tetris for two players.
Language:C++0 0
artemagvanian/on-the-learning-curve
Me trying to play with HTML&CSS way back in 2017.
Language:HTML
artemagvanian/painted-skies
Web toolkit for automatic notes processing.
Language:Vue
artemagvanian/productivity
A todo app.
Language:JavaScript
artemagvanian/pts-playground
Playing with pts.js and exploring the exciting world of creative coding.
Language:JavaScript
artemagvanian/quest-creator
Quests for history classes.
Language:JavaScript0 0
artemagvanian/rlbox-playground
Playing around with RLBox.
Language:C++1 0
artemagvanian/rtmk.me
My ex-personal website.
Language:CSS
artemagvanian/rust
Empowering everyone to build reliable and efficient software.
artemagvanian/rust-book-exercises
Weekly Rust exercises.
Language:Rust0 0
artemagvanian/rust-clippy-nightly-2023-04-12
Clippy, slightly modified to compile with nightly-2023-04-12
Language:Rust
artemagvanian/soapp
Web SOAP note.
Language:Vue
artemagvanian/win-words-game
WordsGame & WinApi practice.
Language:C0 0

artemagvanian

Pinned Repositories

avtoritet

breathum

bwxd-website-2022

cs-concentration-optimizer

glitcher-js

kani

md-notes-app

sat-solver

K9db

kani

artemagvanian's Repositories

artemagvanian/avtoritet

artemagvanian/breathum

artemagvanian/bwxd-website-2022

artemagvanian/cs-concentration-optimizer

artemagvanian/glitcher-js

artemagvanian/kani

artemagvanian/md-notes-app

artemagvanian/sat-solver

artemagvanian/website

artemagvanian/network-tetris

artemagvanian/on-the-learning-curve

artemagvanian/painted-skies

artemagvanian/productivity

artemagvanian/pts-playground

artemagvanian/quest-creator

artemagvanian/rlbox-playground

artemagvanian/rtmk.me

artemagvanian/rust

artemagvanian/rust-book-exercises

artemagvanian/rust-clippy-nightly-2023-04-12

artemagvanian/soapp

artemagvanian/win-words-game