KasraF
Computer Science PhD Candidate at UC San Diego. Researching PL + HCI + Program Synthesis.
UC San DiegoLa Jolla, CA
Pinned Repositories
advent_of_code
Repo for Advent of Code 2020 solutions
Blush
chezbob
configs
Collection of all configuration files I use.
LEAP-Artifact
CHI'24 Code Artifact for "Validating AI-Generated Code with Live Programming"
LooPy
A meta-repository for the LooPy interactive program synthesizer
SnipPy
Meta-repository for SnipPy
SnippySynthesizer
space_invaders_GMS
A Space Invaders game made in GameMaker: Studio
SpaceInvade-rs
A TUI Space Invaders game, in Rust this time!
KasraF's Repositories
KasraF/LooPy
A meta-repository for the LooPy interactive program synthesizer
KasraF/SnipPy
Meta-repository for SnipPy
KasraF/SnippySynthesizer
KasraF/LEAP-Artifact
CHI'24 Code Artifact for "Validating AI-Generated Code with Live Programming"
KasraF/advent_of_code
Repo for Advent of Code 2020 solutions
KasraF/Blush
KasraF/chezbob
KasraF/configs
Collection of all configuration files I use.
KasraF/copilot-study
KasraF/FrAngel
A Java program synthesizer.
KasraF/homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
KasraF/ical2org
KasraF/ImpCompiler
A compiler for the Simple Imperative Programming language in Rust!
KasraF/intercode
Code repository for InterCode benchmark
KasraF/monaco-editor
A browser based code editor
KasraF/OpenResponseViewer
A quick tool I wrote for doing qualitative analysis on (a specific) study data
KasraF/pages-test
KasraF/ProjectionBoxes
A Repository for building the standalone browser version of Projection Boxes
KasraF/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
KasraF/pyodide
The Python scientific stack, compiled to WebAssembly
KasraF/rust
Empowering everyone to build reliable and efficient software.
KasraF/rust_presentation
My presentation on the difficulties of Rust Ownership
KasraF/SnippeRs
KasraF/snippers_macros
KasraF/SnipPyLogTool
KasraF/SnippyServer
KasraF/vscode
Visual Studio Code
KasraF/weirdmachine
KasraF/ZipOption
KasraF/zoxide
A faster way to navigate your filesystem