Pinned Repositories
descartes
descartes: the cartesian hoare logic prover
llvmvf
LLVM Verification Framework
million-dollar-ideas
Flea market for million dollar ideas
poet
POET (Partial Order Exploration Tools)
robin-preview
safemerge
SafeMerge: Verification of Conflict Freedom in Program Merges
session-types-agda
Session Types in Agda
smtlib
SMT-Lib v2 Tools for Haskell and Agda
code-review-tips
Collection of code review tips ✍️
reviewpad
Next generation pull requests and issues 🦄
marcelosousa's Repositories
marcelosousa/million-dollar-ideas
Flea market for million dollar ideas
marcelosousa/llvmvf
LLVM Verification Framework
marcelosousa/robin-preview
marcelosousa/addlicense
A program which ensures source code files have copyright license headers by scanning directory patterns recursively
marcelosousa/Autolab
Course management service that enables auto-graded programming assignments.
marcelosousa/bitmapist
Powerful analytics and cohort library using Redis bitmaps
marcelosousa/code-review-tips
Collection of code review tips
marcelosousa/fest-dev-demo
Reviewpad demo at fest.dev
marcelosousa/git-scenarios
marcelosousa/git-town
Generic, high-level Git workflow support!
marcelosousa/go-conventionalcommits
Fu powers to parse your commit messages as the Conventional Commits specification demands.
marcelosousa/go-github
Go library for accessing the GitHub v3 API
marcelosousa/go-github-mock
A library to aid unittesting code that uses Golang's Github SDK
marcelosousa/go-jira
Go client library for Atlassian Jira
marcelosousa/hacktoberfest-practice
Repo for you to raise a Pull Request for practice
marcelosousa/java-snippets
marcelosousa/langchain
⚡ Building applications with LLMs through composability ⚡
marcelosousa/LinkFree
Open source alternative to LinkTree
marcelosousa/marcelosousa
marcelosousa/nft-gallery
One Stop Shop for your Polkadot NFTs
marcelosousa/paddy
Reviewpad trial
marcelosousa/pocket-core
Official implementation of the Pocket Network Protocol
marcelosousa/review-stats
marcelosousa/safe_network
marcelosousa/sfpowerscripts
A build system for modular development in Salesforce
marcelosousa/simplec
Subset of the C language used for research projects
marcelosousa/stats
A well tested and comprehensive Golang statistics library package with no dependencies.
marcelosousa/tiger
Git hooks with reviewpad :tiger:
marcelosousa/website
Personal website
marcelosousa/yaegi
Yaegi is Another Elegant Go Interpreter