Pinned Repositories
ACE-in-GF
Attempto Controlled English in Grammatical Framework
android-uiautomator-server
APS
Repositório da disciplina APS / CIn [if718]
CInCrawler
Crawler para extrair informações disponíveis no website sobre os professores do CIn / UFPE
cinexplorer
Visualizador dos dados abertos do CIn
if718-microservices-examples
PLP
Tupi
Language and IDE support to describe, expand and execute extended finite-state machines on JVM
uiautomator
NodeJS wrapper for UiAutomator
Kiwi
open source test management system with over 2 million downloads!
fmca's Repositories
fmca/uiautomator
NodeJS wrapper for UiAutomator
fmca/APS
Repositório da disciplina APS / CIn [if718]
fmca/PLP
fmca/if718-microservices-examples
fmca/bovespaStockRatings
Fundamental analysis platform for BOVESPA stocks, generating a score for each share according to the selected criteria on the indicators.
fmca/CIn-TRUST.github.io
Website of CIn-TRUST
fmca/ctxpy
Library created to support the development of context-aware applications. Based on the concepts of http://contexttoolkit.sourceforge.net/
fmca/dao-contracts
DigixDAO 1.0 contracts
fmca/deal-solver
z3-powered solver (theorem prover) for deal
fmca/django-dependent-select
Load options asynchronously based on another select
fmca/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.
fmca/firefly-iii
Firefly III: a personal finances manager
fmca/flatly_light_redmine
Flatly light redmine theme
fmca/if718-spring-mvc-exemplo
fmca/mermaid
Generation of diagram and flowchart from text in a similar manner as markdown
fmca/open-sesame
A frame-semantic parsing system based on a softmax-margin SegRNN.
fmca/pilotord-kit-onboarding
Documentação e arquivos de configuração para participação no Piloto do Real Digital
fmca/safeevolutiondata
fmca/safeevolutiondataandinterface
fmca/SEFM24
fmca/simulation-2d-librcsc
fmca/smart-contract-explorer
fmca/solidity
This is solc-verify, a modular verifier for Solidity.
fmca/spiff-arena
SpiffWorkflow is a software development platform for building, running, and monitoring executable diagrams
fmca/streamlit
Streamlit — The fastest way to build custom ML tools
fmca/test_android
fmca/Tutorials
Practical tutorials of Certora Prover
fmca/watchmen
A simple node.js service monitor
fmca/watchmen-plugin-googlechat
fmca/zeebe-play
Play and explore BPMN processes on Zeebe