Giters
João Bernardo Costa (jbddc)

jbddc

Geek Repo

8

followers

13

following

402

stars

Company:Moixa

Location:London

Home Page:https://bernas.codes

Github PK Tool:Github PK Tool

João Bernardo Costa's repositories

simple-blockchain

Simple Blockchain implementation in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:4Issues:0

ac1617

A&C 2016/17 - TP3

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

bernas.codes

Language:HTMLStargazers:0Issues:1Issues:0

bernas.studio

soon

Language:HTMLStargazers:0Issues:1Issues:0

dotfiles

💾 my configurations for vscode, zsh, nix, macos and other tools and languages.

Language:NixStargazers:0Issues:1Issues:0

jbddc.photography

Language:HTMLStargazers:0Issues:1Issues:0

sdc-graph

Graphs exercise

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

serverless-python-requirements

⚡️🐍📦 Serverless plugin to bundle Python packages

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

vf-verifier

Practical Assignment - Formal Verification 2016/17

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:2Issues:0