Add 5 web pages and 2 repositories.
Chris Pressey
10 months ago
| 18 | 18 |
|
| 19 | 19 |
[xa (xa65): a portable 6502 cross assembler package](https://www.floodgap.com/retrotech/xa/)
|
| 20 | 20 |
|
|
21 |
[michaelcmartin/Ophis: A cross-assembler for the 6502 series of microprocessors.](https://michaelcmartin.github.io/Ophis/)
|
|
22 |
|
| 21 | 23 |
[COMFY-6502 compiler: port to Common Lisp](https://josephoswald.nfshost.com/comfy/summary.html)
|
|
24 |
|
|
25 |
[cc65 - a freeware C compiler for 6502 based systems](https://cc65.github.io/)
|
| 22 | 26 |
|
| 23 | 27 |
### Repositories
|
| 24 | 28 |
|
| 34 | 34 |
|
| 35 | 35 |
.
|
| 36 | 36 |
|
|
37 |
### michaelcmartin/Ophis: A cross-assembler for the 6502 series of microprocessors.
|
|
38 |
|
|
39 |
* url: https://michaelcmartin.github.io/Ophis/
|
|
40 |
* rating: 1
|
|
41 |
|
|
42 |
.
|
|
43 |
|
| 37 | 44 |
### COMFY-6502 compiler: port to Common Lisp
|
| 38 | 45 |
|
| 39 | 46 |
* url: https://josephoswald.nfshost.com/comfy/summary.html
|
|
| 42 | 49 |
|
| 43 | 50 |
.
|
| 44 | 51 |
|
|
52 |
### cc65 - a freeware C compiler for 6502 based systems
|
|
53 |
|
|
54 |
* url: https://cc65.github.io/
|
|
55 |
* topics: 6502, Compiler Construction
|
|
56 |
* rating: 2
|
|
57 |
|
|
58 |
future-topics: C
|
| 71 | 71 |
### What Is the Kanban System?
|
| 72 | 72 |
|
| 73 | 73 |
* url: https://www.investopedia.com/terms/k/kanban.asp
|
| 74 | |
* rating: TODO
|
|
74 |
* rating: 1
|
| 75 | 75 |
|
| 76 | 76 |
.
|
| 77 | 77 |
|
| 78 | 78 |
### Kanban Classes of Service: Examples & Tips
|
| 79 | 79 |
|
| 80 | 80 |
* url: https://teamhood.com/kanban-resources/kanban-classes-of-service/
|
| 81 | |
* rating: TODO
|
|
81 |
* rating: 1
|
| 82 | 82 |
|
| 83 | 83 |
.
|
| 84 | 84 |
|
| 85 | 85 |
### STATIK (Systems Thinking Approach to Introduce Kanban) | by H. Javier Castillo S. | Medium
|
| 86 | 86 |
|
| 87 | 87 |
* url: https://hjavixcs.medium.com/statik-systems-thinking-approach-to-introduce-kanban-13996dbe414a
|
| 88 | |
* rating: TODO
|
|
88 |
* rating: 1
|
| 89 | 89 |
|
| 90 | 90 |
.
|
| 16 | 16 |
|
| 17 | 17 |
[Commodore 64 Resources](http://home-2002.code-cop.org/c64/)
|
| 18 | 18 |
|
|
19 |
[\"Micro-Lisp\" a lisp for the C64 - Google Groups](https://groups.google.com/forum/#!topic/comp.lang.lisp/6pPNzzpVV9o)
|
|
20 |
|
| 19 | 21 |
### Books
|
| 20 | 22 |
|
| 21 | 23 |
Commodore 64 Programmer's Reference Guide (online @ [www.commodore.ca](https://www.commodore.ca/manuals/c64_programmers_reference/c64-programmers_reference.htm), [archive.org](https://archive.org/details/commodore-64-programmers-reference-guide_202205), [archive.org](https://archive.org/details/c64-programmer-ref))
|
| 27 | 27 |
|
| 28 | 28 |
.
|
| 29 | 29 |
|
|
30 |
### \"Micro-Lisp\" a lisp for the C64 - Google Groups
|
|
31 |
|
|
32 |
* url: https://groups.google.com/forum/#!topic/comp.lang.lisp/6pPNzzpVV9o
|
|
33 |
* topics: Lisp, Commodore 64
|
|
34 |
* rating: 1
|
|
35 |
|
|
36 |
.
|
| 22 | 22 |
|
| 23 | 23 |
[Practical TLA+ by Hillel Wayne](https://lamport.azurewebsites.net/tla/practical-tla.html)
|
| 24 | 24 |
|
| 25 | |
### Alloy
|
|
25 |
### Other
|
| 26 | 26 |
|
| 27 | 27 |
[Alloy (specification language) - Wikipedia](https://en.wikipedia.org/wiki/Alloy_(specification_language))
|
| 28 | 28 |
|
| 29 | |
### Promela
|
|
29 |
[multi tasking - Help understanding Petersons Algorithm for N Processes - Computer Science Stack Exchange](https://cs.stackexchange.com/questions/164777/help-understanding-petersons-algorithm-for-n-processes)
|
| 30 | 30 |
|
| 31 | |
[multi tasking - Help understanding Petersons Algorithm for N Processes - Computer Science Stack Exchange](https://cs.stackexchange.com/questions/164777/help-understanding-petersons-algorithm-for-n-processes)
|
|
31 |
[Sally by SRI-CSL](https://sri-csl.github.io/sally/)
|
|
32 |
|
|
33 |
### Repositories
|
|
34 |
|
|
35 |
[tlaplus/PlusPy: Python interpreter for TLA+ specifications](https://github.com/tlaplus/PlusPy)
|
| 32 | 36 |
|
| 33 | 37 |
### Papers
|
| 34 | 38 |
|
|
0 |
Model Checking Repos
|
|
1 |
====================
|
|
2 |
|
|
3 |
<!--
|
|
4 |
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.
|
|
5 |
|
|
6 |
SPDX-License-Identifier: CC0-1.0
|
|
7 |
-->
|
|
8 |
|
|
9 |
### tlaplus/PlusPy: Python interpreter for TLA+ specifications
|
|
10 |
|
|
11 |
* url: https://github.com/tlaplus/PlusPy
|
|
12 |
* license: MIT
|
|
13 |
* rating: 2
|
|
14 |
|
|
15 |
This is not actually model checking, this is interpreting TLA+.
|
| 46 | 46 |
|
| 47 | 47 |
.
|
| 48 | 48 |
|
| 49 | |
### Alloy
|
|
49 |
### Other
|
| 50 | 50 |
|
| 51 | 51 |
* is-heading: true
|
| 52 | 52 |
|
|
| 59 | 59 |
|
| 60 | 60 |
.
|
| 61 | 61 |
|
| 62 | |
### Promela
|
| 63 | |
|
| 64 | |
* is-heading: true
|
| 65 | |
|
| 66 | |
.
|
| 67 | |
|
| 68 | 62 |
### multi tasking - Help understanding Petersons Algorithm for N Processes - Computer Science Stack Exchange
|
| 69 | 63 |
|
| 70 | 64 |
* url: https://cs.stackexchange.com/questions/164777/help-understanding-petersons-algorithm-for-n-processes
|
| 71 | 65 |
* rating: 1
|
| 72 | 66 |
|
|
67 |
future-topics: Promela
|
|
68 |
|
|
69 |
### Sally by SRI-CSL
|
|
70 |
|
|
71 |
* url: https://sri-csl.github.io/sally/
|
|
72 |
* associated-repo-url: https://github.com/SRI-CSL/sally
|
|
73 |
* rating: 1
|
|
74 |
|
| 73 | 75 |
.
|
| 74 | |
|
| 48 | 48 |
|
| 49 | 49 |
[xixixao/Shem: The compiler of the programming language Shem](https://github.com/xixixao/Shem)
|
| 50 | 50 |
|
|
51 |
[ncihnegn/miranda: Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6.](https://github.com/ncihnegn/miranda)
|
|
52 |
|
| 51 | 53 |
### Papers
|
| 52 | 54 |
|
| 53 | 55 |
Synchronous Functional Programming: The Lucid Synchrone Experiment (online @ [www.di.ens.fr](https://www.di.ens.fr/~pouzet/bib/chap_lucid_synchrone_english_iste08.pdf) (PDF))
|
| 104 | 104 |
* rating: 1
|
| 105 | 105 |
|
| 106 | 106 |
.
|
|
107 |
|
|
108 |
### ncihnegn/miranda: Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6.
|
|
109 |
|
|
110 |
* see-also: https://codesync.global/media/open-sourcing-miranda-david-turner-code-mesh-v-2020-codemeshv2020/
|
|
111 |
* url: https://github.com/ncihnegn/miranda
|
|
112 |
* license: BSD-2-Clause
|
|
113 |
* topics: Programming Languages, Functional Programming
|
|
114 |
* rating: 1
|
|
115 |
|
|
116 |
.
|
| 12 | 12 |
|
| 13 | 13 |
[Understanding the Public Domain and Citation - Plagiarism.org](https://www.plagiarism.org/blog/2018/02/27/understanding-the-public-domain-and-citation)
|
| 14 | 14 |
|
|
15 |
[Are the 0BSD and MIT-0 licenses public domain declarations? - Open Source Stack Exchange](https://opensource.stackexchange.com/questions/14766/are-the-0bsd-and-mit-0-licenses-public-domain-declarations)
|
|
16 |
|
| 15 | 17 |
### Repositories
|
| 16 | 18 |
|
| 17 | 19 |
[public-domain account at github.com](https://github.com/public-domain?tab=repositories)
|
| 19 | 19 |
* rating: 1
|
| 20 | 20 |
|
| 21 | 21 |
.
|
|
22 |
|
|
23 |
### Are the 0BSD and MIT-0 licenses public domain declarations? - Open Source Stack Exchange
|
|
24 |
|
|
25 |
* url: https://opensource.stackexchange.com/questions/14766/are-the-0bsd-and-mit-0-licenses-public-domain-declarations
|
|
26 |
* rating: 1
|
|
27 |
|
|
28 |
.
|
| 11 | 11 |
|
| 12 | 12 |
<!-- TOTALS -->
|
| 13 | 13 |
|
| 14 | |
Currently it consists of **567** web pages, **48** repositories, **131** papers, and **152** books in **86** topics.
|
|
14 |
Currently it consists of **572** web pages, **50** repositories, **131** papers, and **152** books in **86** topics.
|
| 15 | 15 |
Of these, [**101** have the highest rating](by-rating/Top-rated.md),
|
| 16 | 16 |
[**23** are considered classics](by-rating/Classic.md),
|
| 17 | |
[**24** are considered very interesting](by-rating/Very%20Interesting.md),
|
| 18 | |
while [**101** are yet to be rated](by-rating/Unrated.md).
|
|
17 |
[**26** are considered very interesting](by-rating/Very%20Interesting.md),
|
|
18 |
while [**98** are yet to be rated](by-rating/Unrated.md).
|
| 19 | 19 |
|
| 20 | 20 |
<!-- /TOTALS -->
|
| 21 | 21 |
|
| 8 | 8 |
|
| 9 | 9 |
Unrated Webpages
|
| 10 | 10 |
--------------
|
| 11 | |
|
| 12 | |
### Agile Development
|
| 13 | |
|
| 14 | |
* [What Is the Kanban System?](https://www.investopedia.com/terms/k/kanban.asp)
|
| 15 | |
* [Kanban Classes of Service: Examples & Tips](https://teamhood.com/kanban-resources/kanban-classes-of-service/)
|
| 16 | |
* [STATIK (Systems Thinking Approach to Introduce Kanban) | by H. Javier Castillo S. | Medium](https://hjavixcs.medium.com/statik-systems-thinking-approach-to-introduce-kanban-13996dbe414a)
|
| 17 | 11 |
|
| 18 | 12 |
### Compiler Construction
|
| 19 | 13 |
|
| 12 | 12 |
### 6502
|
| 13 | 13 |
|
| 14 | 14 |
* [COMFY-6502 compiler: port to Common Lisp](https://josephoswald.nfshost.com/comfy/summary.html)
|
|
15 |
* [cc65 - a freeware C compiler for 6502 based systems](https://cc65.github.io/)
|
| 15 | 16 |
|
| 16 | 17 |
### Agile Development
|
| 17 | 18 |
|
|
| 86 | 87 |
Very Interesting Repos
|
| 87 | 88 |
--------------
|
| 88 | 89 |
|
|
90 |
### Model Checking
|
|
91 |
|
|
92 |
* [tlaplus/PlusPy: Python interpreter for TLA+ specifications](https://github.com/tlaplus/PlusPy)
|
|
93 |
|
| 89 | 94 |
### Programming Languages
|
| 90 | 95 |
|
| 91 | 96 |
* [manuel/wat-js: Concurrency and Metaprogramming for JS](https://github.com/manuel/wat-js)
|