bavalpey
PhD student in CS at University of Rochester - focusing on Compiler Verification. Graduated with Math, CS, & Data Analytics majors from Drake University
Pinned Repositories
apply_if
Conditionally apply a closure to an item or return it
big-list-of-naughty-strings
The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.
codefights
My solutions to codefights tasks
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
discord-api-docs
Official Discord API Documentation
doom-nvim
A Neovim configuration for the advanced martian hacker
hatch
Modern, extensible Python project management
HyFlex
kickstart-modular.nvim
A launch point for your personal nvim configuration
TTSLua
bavalpey's Repositories
bavalpey/codefights
My solutions to codefights tasks
bavalpey/TTSLua
bavalpey/apply_if
Conditionally apply a closure to an item or return it
bavalpey/big-list-of-naughty-strings
The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.
bavalpey/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
bavalpey/discord-api-docs
Official Discord API Documentation
bavalpey/doom-nvim
A Neovim configuration for the advanced martian hacker
bavalpey/hatch
Modern, extensible Python project management
bavalpey/HyFlex
bavalpey/kickstart-modular.nvim
A launch point for your personal nvim configuration
bavalpey/LLS-Addons
Addons for use with Sumneko's Lua Language Server
bavalpey/pytrips
bavalpey/retnfit
Fitting ternary network models of gene regulatory networks by replica exchange Monte Carlo
bavalpey/shuttle-docs
bavalpey/smtlib-highlight
bavalpey/vim-smt2
A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
bavalpey/vim-sygus
Syntax highlighting for sygus
bavalpey/lua-language-server
A language server that offers Lua language support - programmed in Lua