- Recife - Brazil
- www.cin.ufpe.br/~fmca
-
-
spiff-arena Public
Forked from sartography/spiff-arenaSpiffWorkflow is a software development platform for building, running, and monitoring executable diagrams
Python GNU Lesser General Public License v2.1 UpdatedNov 28, 2023 -
CIn-TRUST.github.io Public
Forked from CIn-TRUST/CIn-TRUST.github.ioWebsite of CIn-TRUST
HTML UpdatedOct 4, 2023 -
-
pilotord-kit-onboarding Public
Forked from bacen/pilotord-kit-onboardingDocumentação e arquivos de configuração para participação no Piloto do Real Digital
TypeScript UpdatedJul 31, 2023 -
smart-contract-explorer Public
Forked from SRI-CSL/smart-contract-explorerSolidity GNU General Public License v3.0 UpdatedJul 20, 2023 -
Tutorials Public
Forked from Certora/TutorialsPractical tutorials of Certora Prover
Solidity GNU General Public License v3.0 UpdatedJun 18, 2023 -
uiautomator Public
NodeJS wrapper for UiAutomator
-
-
zeebe-play Public
Forked from camunda-community-hub/zeebe-playPlay and explore BPMN processes on Zeebe
JavaScript Apache License 2.0 UpdatedJan 30, 2023 -
mermaid Public
Forked from mermaid-js/mermaidGeneration of diagram and flowchart from text in a similar manner as markdown
JavaScript MIT License UpdatedJan 20, 2023 -
-
simulation-2d-librcsc Public
Forked from robocin/simulation-2d-librcscC++ GNU Lesser General Public License v3.0 UpdatedJan 11, 2023 -
ctxpy Public
Library created to support the development of context-aware applications. Based on the concepts of http://contexttoolkit.sourceforge.net/
Python MIT License UpdatedDec 26, 2022 -
safeevolutiondataandinterface Public
Forked from stanis18/safeevolutiondataandinterfaceSolidity UpdatedDec 19, 2022 -
-
-
deal-solver Public
Forked from life4/deal-solverz3-powered solver (theorem prover) for deal
Python MIT License UpdatedJun 17, 2022 -
solidity Public
Forked from SRI-CSL/solidityThis is solc-verify, a modular verifier for Solidity.
C++ GNU General Public License v3.0 UpdatedJun 2, 2022 -
easy-markdown-editor Public
Forked from Ionaru/easy-markdown-editorEasyMDE: A simple, beautiful, and embeddable JavaScript Markdown editor. Delightful editing for beginners and experts alike. Features built-in autosaving and spell checking.
JavaScript MIT License UpdatedJul 8, 2021 -
-
-
django-dependent-select Public
Load options asynchronously based on another select
MIT License UpdatedDec 18, 2020 -
open-sesame Public
Forked from swabhs/open-sesameA frame-semantic parsing system based on a softmax-margin SegRNN.
Python Apache License 2.0 UpdatedJul 27, 2020 -
watchmen Public
Forked from iloire/watchmenA simple node.js service monitor
HTML MIT License UpdatedMay 19, 2020 -
firefly-iii Public archive
Forked from firefly-iii/firefly-iiiFirefly III: a personal finances manager
PHP GNU Affero General Public License v3.0 UpdatedApr 28, 2020 -
dao-contracts Public
Forked from DigixGlobal/dao-contractsDigixDAO 1.0 contracts
Solidity UpdatedMar 16, 2020 -
flatly_light_redmine Public
Forked from Nitrino/flatly_light_redmineFlatly light redmine theme
CSS MIT License UpdatedNov 8, 2019 -
streamlit Public archive
Forked from streamlit/streamlitStreamlit — The fastest way to build custom ML tools
Python Apache License 2.0 UpdatedOct 10, 2019 -
bovespaStockRatings Public
Forked from daniloaleixo/bovespaStockRatingsFundamental analysis platform for BOVESPA stocks, generating a score for each share according to the selected criteria on the indicators.
Python MIT License UpdatedAug 18, 2019