The Startup CTO's Handbook, a book covering leadership, management and technical topics for leaders of software engineering teams
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Software Foundations in Idris
- idris
- theorem-proving
- book
- computer-science
Code and data used to create the examples in "Evidence-based Software Engineering based on the publicly available data"
- cognitive-capitalism
- cognitive-science
- economic-models
- ecosystem-modeling
Software Foundations