Benjamin Valpey's repositories
codefights
My solutions to codefights tasks
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.
Language:PythonMIT000
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMTNOASSERTION000
discord-api-docs
Official Discord API Documentation
Language:TypeScript000
doom-nvim
A Neovim configuration for the advanced martian hacker
Language:LuaGPL-2.0000
Language:HTML000
kickstart-modular.nvim
A launch point for your personal nvim configuration
Language:LuaMIT000
LLS-Addons
Addons for use with Sumneko's Lua Language Server
MIT000
Language:PythonGPL-2.0000
retnfit
Fitting ternary network models of gene regulatory networks by replica exchange Monte Carlo
Language:C000
Language:MDXApache-2.0000
vim-smt2
A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
Language:Vim ScriptMIT000
vim-sygus
Syntax highlighting for sygus
Language:Vim ScriptMIT000