{"id":25405269,"url":"https://github.com/electrostat-lab/future-minds-contributions","last_synced_at":"2026-02-17T14:02:19.318Z","repository":{"id":274135907,"uuid":"910331945","full_name":"Electrostat-Lab/Future-Minds-Contributions","owner":"Electrostat-Lab","description":"A contribution depot for the Future Minds Initiative provided by the Electrostat-Lab.","archived":false,"fork":false,"pushed_at":"2025-01-27T10:05:05.000Z","size":41,"stargazers_count":3,"open_issues_count":0,"forks_count":2,"subscribers_count":0,"default_branch":"master","last_synced_at":"2025-10-05T17:50:20.753Z","etag":null,"topics":["cybernetics","discrete-mathematics","distributed-simulations","electrostat-lab","electrostatic-sandbox-sdk","future-minds","guidelines","pure-mathematics","safety-critical-systems","scientific-initiation","software-engineering","theory-of-computation"],"latest_commit_sha":null,"homepage":"","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Electrostat-Lab.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2024-12-31T02:15:59.000Z","updated_at":"2025-01-27T10:05:08.000Z","dependencies_parsed_at":"2025-04-12T21:01:38.702Z","dependency_job_id":null,"html_url":"https://github.com/Electrostat-Lab/Future-Minds-Contributions","commit_stats":null,"previous_names":["electrostat-lab/future-minds-contributions"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/Electrostat-Lab/Future-Minds-Contributions","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Electrostat-Lab%2FFuture-Minds-Contributions","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Electrostat-Lab%2FFuture-Minds-Contributions/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Electrostat-Lab%2FFuture-Minds-Contributions/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Electrostat-Lab%2FFuture-Minds-Contributions/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Electrostat-Lab","download_url":"https://codeload.github.com/Electrostat-Lab/Future-Minds-Contributions/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Electrostat-Lab%2FFuture-Minds-Contributions/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29546749,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-17T13:00:00.370Z","status":"ssl_error","status_checked_at":"2026-02-17T12:57:14.072Z","response_time":100,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["cybernetics","discrete-mathematics","distributed-simulations","electrostat-lab","electrostatic-sandbox-sdk","future-minds","guidelines","pure-mathematics","safety-critical-systems","scientific-initiation","software-engineering","theory-of-computation"],"created_at":"2025-02-16T04:32:54.772Z","updated_at":"2026-02-17T14:02:19.293Z","avatar_url":"https://github.com/Electrostat-Lab.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"# Future-Minds-Contributions\n\u003ca href=\"https://github.com/orgs/Electrostat-Lab/repositories?language=\u0026q=electrostat-lab\u0026sort=\u0026type=all\"\u003e \u003cimg src = \"https://img.shields.io/badge/projects-null?style=flat\u0026label=Electrostat-Lab\u0026color=%235555AA\" /\u003e \u003c/a\u003e\n\nThis repository provides a contribution depot for the **_Future Minds Initiative by [Dr. Hazem Ali](https://github.com/drhazemali)_** by picking up the fine grains from the Electrostat-Lab and the Electrostatic-Sandbox SDK project hosted and maintained by [Pavly G.](https://github.com/pavly-gerges).\n\n\u003e [!NOTE]\n\u003e **Disclaimer of knowledge**: Subjects covered here are some way unique topics that are rarely approached from the\n\u003e practical computer engineering perspective; therefore it's contemplated that this repository\n\u003e will attain a particular target of covering these topics in an applied theoretical environment (i.e., theoretical and practical);\n\u003e thus, software engineering and arithmetics basics in addition to knowing a programming language (preferably C/C++ or Java)\n\u003e are prerequisites to fully absorb the knowledge that will be presented here.\n\nEssentially, the following will be the initial topics that the contribution depot will provide: \n## Series Title: \"An introduction to Applied Computation\":\n- [Guidelines: A curricular computational model derived from the ACM Guidelines for CS Education](https://github.com/Electrostat-Lab/Future-Minds-Contributions/blob/master/curricular-computational-model/cc-model.md)\n- Mathematics: An approach to Discrete Mathematics and Software design paradigms.\n- Theory of computation: Approaching the Theory of computation (i.e., Automata theory, Computational complexity theory, and Computability theory).\n- Theory of computation: A practical approach to the theory of computation (a coding project on the Electrostatic-Sandbox SDK).\n- Software Engineering: An approach to utilizing software design paradigms in designing data structures and algorithms analysis.\n- Advanced Embedded Systems: Computer organization, Flip-flops (D-latches and JK-latches), and state-machines (?).\n- Advanced Embedded Systems: A Deep dive into Low-level state-machines, and applied Computing methods (?).\n\n## Series Title: \"A workshop for basics of software engineering using the Electrostatic-Sandbox SDK\":\n- Guidelines: NASA and Google coding Guidelines for C/C++ and safety-critical systems.\n- Mathematics: Using the Automata Models and the [System-Entity-Structure (SES) Framework by Pawletta et al.](https://dl.acm.org/doi/abs/10.5555/3108244.3108245), previously described, to model the software before coding it.\n- Software Building: A live workshop for understanding the building and the production lifecycle of software using CMake, Bash, and GitHub packages.\n- Software Engineering: Writing software C libraries on GNU/Linux, and writing unit tests (e.g., Automata framework, Entity-Component System Framework, Thread Models for thread controls, ...etc).\n\n## Advanced Scientific and Engineering workshops: \"Complex Systems Analysis, Cybernetics and Safety-critical systems\":\n- The Therac-25 Catastrophes.\n- The Air France Flight 447 Catastrophic failure.\n- The Deepwater Horizon Catastrophic failure.\n\n## Appendices\n### Appendix-A: Timetable:\n\n| Months | Topics | Videos |\n|--------|--------|--------|\n| Jan. - Feb. | ACM Guidelines - Theory of Computation | **Pending** | \n| Mar. - Apr. | Workshop on basics of sofware engineering | **Pending** |\n| May. - Jun. | Advanced Embedded Systems? | **Pending** |\n\n### Appendix-B: Resources:\n* [The Electrostatic-Sandbox SDK for distributed simulation systems.](https://github.com/Electrostat-Lab/Electrostatic-Sandbox)\n* [Embedded Cybernetics for some of the complex safety-critical systems that have failed a long time ago.](https://github.com/Electrostat-Lab/Embedded-Cybernetics)\n* [Guidelines of undergraduate cirrculum for computing by the Association for Computing Machinery.](https://www.acm.org/education/curricula-recommendations)\n* [NASA Coding Guidelines for safety-critical systems](https://swehb.nasa.gov/display/7150/SWE-134+-+Safety+Critical+Software+Requirements?desktop=true\u0026macroName=div)\n* [Google C/C++ Coding Guidelines.](https://google.github.io/styleguide/cppguide.html)\n* [Software Engineering Design by Carlos Otero.](https://www.amazon.com/Software-Engineering-Design-Practice-Applied/dp/1439851689)\n* [Introduction to the theory of computation by Michael Sipser.](https://www.amazon.com/Introduction-Theory-Computation-Sipser/dp/8131525295)\n* [Discrete Mathematical Structures By Bernard Kolman and Rosen.](https://www.amazon.in/Discrete-Mathematical-Structures-Bernard-Kolman/dp/0132078457)\n* [Switching and Finite Automata Theory By Niraj and Zvi.](https://www.amazon.com/Switching-Finite-Automata-Theory-Kohavi/dp/0521857481)\n* [Guide to Discrete Mathematics, Springer](https://link.springer.com/book/10.1007/978-3-030-81588-2)\n* [Body of Knowledge for Modeling and Simulation, Springer](https://link.springer.com/book/10.1007/978-3-031-11085-6)\n* [IBM/ILE C/C++ Language Reference.](https://www.ibm.com/docs/en/i/7.3?topic=languages-c-c)\n* [GNU/Linux GLibc documentation reference.](https://sourceware.org/glibc/manual/)\n* [NASA Technical Report Server (NTRS)](https://ntrs.nasa.gov/)\n* [IEEE Xplore.](https://ieeexplore.ieee.org/Xplore/home.jsp)\n* [ACM Digital Library](https://dl.acm.org/)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Felectrostat-lab%2Ffuture-minds-contributions","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Felectrostat-lab%2Ffuture-minds-contributions","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Felectrostat-lab%2Ffuture-minds-contributions/lists"}