Pinned Repositories
ac1617
A&C 2016/17 - TP3
bernas.codes
bernas.studio
soon
dotfiles
💾 my configurations for vscode, zsh, nix, macos and other tools and languages.
jbddc.photography
sdc-graph
Graphs exercise
serverless-python-requirements
⚡️🐍📦 Serverless plugin to bundle Python packages
simple-blockchain
Simple Blockchain implementation in Haskell
vf-verifier
Practical Assignment - Formal Verification 2016/17
jbddc's Repositories
jbddc/simple-blockchain
Simple Blockchain implementation in Haskell
jbddc/ac1617
A&C 2016/17 - TP3
jbddc/bernas.codes
jbddc/bernas.studio
soon
jbddc/dotfiles
💾 my configurations for vscode, zsh, nix, macos and other tools and languages.
jbddc/jbddc.photography
jbddc/sdc-graph
Graphs exercise
jbddc/serverless-python-requirements
⚡️🐍📦 Serverless plugin to bundle Python packages
jbddc/vf-verifier
Practical Assignment - Formal Verification 2016/17