Filipe's repositories
uiautomator
NodeJS wrapper for UiAutomator
APE
Parser for Attempto Controlled English (ACE)
bovespaStockRatings
Fundamental analysis platform for BOVESPA stocks, generating a score for each share according to the selected criteria on the indicators.
CIn-TRUST.github.io
Website of CIn-TRUST
ctxpy
Library created to support the development of context-aware applications. Based on the concepts of http://contexttoolkit.sourceforge.net/
dao-contracts
DigixDAO 1.0 contracts
deal-solver
z3-powered solver (theorem prover) for deal
django-dependent-select
Load options asynchronously based on another select
easy-markdown-editor
EasyMDE: A simple, beautiful, and embeddable JavaScript Markdown editor. Delightful editing for beginners and experts alike. Features built-in autosaving and spell checking.
firefly-iii
Firefly III: a personal finances manager
flatly_light_redmine
Flatly light redmine theme
mermaid
Generation of diagram and flowchart from text in a similar manner as markdown
open-sesame
A frame-semantic parsing system based on a softmax-margin SegRNN.
pilotord-kit-onboarding
Documentação e arquivos de configuração para participação no Piloto do Real Digital
solidity
This is solc-verify, a modular verifier for Solidity.
spiff-arena
SpiffWorkflow is a software development platform for building, running, and monitoring executable diagrams
streamlit
Streamlit — The fastest way to build custom ML tools
Tutorials
Practical tutorials of Certora Prover
watchmen
A simple node.js service monitor
zeebe-play
Play and explore BPMN processes on Zeebe